{"id":"210.44.3.a","row":852,"stored":{"file":"master_catalog.json","row":852,"construction":null,"columns_sha256":null},"parameters":{"n":210,"k":44,"d":3,"N":55,"r":11,"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+42+43","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\u00b7T42\u00b7T43","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],[42],[43]],"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],[42],[43]],"sk_fingerprint":"32100b6977e34081","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,5,7,10,11,13,14,15,18,19,27,29,30,32,38,40,43,45,48,50,52,54],[1,4,8,9,10,12,13,17,18,19,23,26,29,31,33,35,41,44,46,47,48,50,51,52],[0,1,3,5,6,7,10,14,15,16,19,23,26,31,32,33,36,37,39,41,42,46,48,51,53,54],[1,3,11,15,29,30,32,45,53],[0,1,2,4,6,8,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,40,42,43,44,45,47,48,51,53],[1,3,9,11,12,13,22,25,28,29,33,38,39,44,45,48,49,50],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,31,32,33,37,38,39,43,45,46,48,51,54],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,27,28,30,32,33,37,38,39,43,44,45,46,49,51,52,54],[1,3,5,7,12,13,16,17,20,22,25,26,27,28,30,32,33,37,38,39,43,44,45,46,47,48,51,52,53],[0,2,3,4,5,6,7,8,9,14,19,31,32,39,42,44,46,47,51,52,53],[1,3,6,8,11,12,21,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,46,48,50,51,52,54],[2,4,5,7,8,10,11,14,15,20,21,25,26,30,31,32,33,34,38,39,40,41,43,45,46,47,50],[2,5,7,8,9,10,15,17,21,26,27,28,30,31,33,34,35,36,37,38,39,40,41,45,48,50,52,53],[2,11,16,18,19,20,21,22,24,26,27,29,33,39,43,47,48,52,54],[22,48,53],[18,48,49,53],[0,1,2,3,4,6,10,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,51,53,54],[0,1,2,4,6,10,11,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,49,51,53,54],[0,48,49,50,51,53],[0,1,5,7,10,11,12,13,16,18,22,23,24,26,27,30,32,33,35,36,38,40,43,45,48,50,51,52],[1,3,5,7,12,13,16,20,22,24,25,26,27,28,30,32,33,37,38,39,43,45,47,50,51,53],[1,3,6,8,11,12,22,24,26,27,29,30,32,33,35,36,38,39,43,45,48,50,51,52,54],[5,7,9,11,13,15,16,17,20,24,25,29,30,31,33,34,36,37,38,39,40,42,43,44,46,49,53,54],[5,6,7,8,9,10,11,15,16,17,18,20,22,24,28,29,30,31,34,35,37,38,43,46,48,51,52],[1,3,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,47,51,52,53],[0,1,3,6,7,10,13,14,16,20,21,23,25,26,29,32,33,34,38,39,41,46,50,53,54],[0,3,6,7,8,9,12,14,16,17,19,20,21,22,31,32,34,35,38,45,46,49,51,52],[2,5,6,8,9,10,11,13,14,15,17,21,27,29,31,32,33,34,35,38,39,40,43,45,46,47,48,53],[3,4,5,8,9,10,13,15,16,17,21,23,26,28,30,32,33,34,35,36,37,41,42,44,45,46,47,48,50,51,52],[0,1,2,4,6,10,14,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,47,51],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,30,35,36,37,38,40,42,43,44,45,47,48,54],[0,1,2,4,6,8,9,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,50,53],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,37,38,39,45,46,47,48,51,54],[0,2,3,4,5,6,7,9,13,14,18,19,22,24,25,26,27,28,32,33,34,42,43,46,51,52,53],[1,3,5,7,12,13,16,17,20,22,24,25,26,27,28,30,32,33,34,37,38,39,43,44,45,46,50,51,53],[1,3,5,7,12,13,16,17,20,22,24,25,26,28,30,32,33,37,38,39,43,45,46,50,51,53],[4,8,9,13,14,16,17,24,26,29,32,35,36,37,41,44,46,47,50,53,54],[1,3,6,11,12,18,19,22,24,26,27,29,30,32,33,35,36,38,39,42,43,44,45,46,48,50,53,54],[41,48,49,50,51,52,54],[25,48,53,54],[0,1,2,4,5,7,10,11,13,14,15,18,19,27,29,30,32,38,39,40,43,44,45,46,47,48,50,52,54],[1,48,49,51,53,54],[2,3,4,6,8,10,11,13,14,15,17,18,19,22,27,29,30,32,33,35,36,37,38,39,40,42,43,44,45,46,47,48],[0,1,2,4,6,8,10,14,15,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,50,53],[2,4,5,6,8,9,10,11,13,14,17,18,19,20,22,23,24,27,31,32,33,34,35,36,39,40,42,44,45,47,50,51],[7,48,49,52,53,54],[5,48,50,52,53,54],[0,2,3,4,6,7,8,9,14,17,19,23,24,27,31,32,34,39,42,44,45,47,51,52,54],[10,48,51,52,53,54],[35,48,49,51,52,53,54],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,38,39,42,43,44,45,51,52,53],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,40,42,43,45,48,49,50,54],[0,2,5,7,8,9,11,12,14,15,17,23,26,27,30,31,32,33,35,38,40,41,43,45,46,47,51,54],[2,3,4,6,8,11,13,16,23,26,27,29,30,31,33,36,37,38,39,40,41,42,43,44,45,46,47,48,51,52,54],[0,1,2,4,5,7,8,10,11,13,15,19,27,29,30,32,38,40,43,45,47,52,53],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,32,35,36,37,38,40,42,43,45,48,54],[0,2,3,4,6,10,11,14,16,17,19,20,25,27,28,29,35,36,37,38,40,42,43,44,48,53,54],[38,48,50,51],[0,2,3,4,6,8,9,10,11,12,13,14,15,16,17,18,19,20,22,27,29,30,32,33,35,36,37,39,40,42,43,44,47,48,49,53],[26,48,49,52],[24,48,50,52],[0,1,2,4,6,8,9,12,13,14,16,17,19,20,22,24,25,26,27,28,30,31,33,37,38,42,43,44,45,50,52],[1,2,3,4,5,6,7,10,12,14,15,20,21,22,24,25,27,29,31,34,35,36,40,41,42,44,47,48,51,52,54],[1,2,3,5,6,7,8,9,10,11,12,15,17,18,21,22,24,28,29,31,32,34,37,40,41,42,43,44,46,47,48,50,51],[1,2,3,6,12,16,19,20,21,30,32,35,36,38,42,45,46,48,51,53,54],[0,1,2,4,5,7,10,11,13,14,15,18,19,22,27,29,30,32,38,40,43,45,46,50,52,53,54],[0,1,2,4,5,7,10,11,13,14,15,19,27,29,30,32,38,40,43,44,45,46,49,50,52,53,54],[0,1,2,4,5,7,8,10,11,14,15,19,27,29,30,32,38,40,43,44,45,46,47,52,53],[0,1,2,4,5,7,8,10,11,13,14,15,19,27,29,30,32,33,38,40,43,45,46,47,52,53],[3,48,51,53],[11,48,49,51,53],[0,1,2,4,6,8,10,14,15,16,17,18,19,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,47,50,53],[1,2,4,6,8,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,47,48,49,51],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,38,39,43,45,48,51,54],[0,3,8,10,11,17,20,23,25,28,35,36,37,39,40,44,50,52,54],[1,3,5,7,12,13,16,17,20,22,23,24,25,26,27,28,30,32,33,37,38,39,43,44,45,47,50,51,53],[1,3,5,6,7,8,9,12,13,15,16,17,20,22,25,26,27,31,32,34,35,37,40,45,46,48,49,50,51,52,53],[1,3,5,7,8,9,10,12,15,16,17,20,26,27,28,31,32,33,34,36,37,39,42,44,45,46,47,48,53],[2,3,4,5,6,11,15,16,18,19,20,21,23,25,26,27,30,33,34,39,40,41,43,45,46,47,48,52,53],[1,2,3,4,5,6,8,9,10,11,12,13,15,16,17,18,20,21,22,27,29,30,31,34,35,40,43,44,46,47,48,49,50,51,54],[0,1,4,6,7,9,17,19,21,30,31,33,34,35,39,44,46,47,48,52],[0,1,2,3,7,9,11,14,16,17,19,21,23,26,27,28,29,33,34,35,36,37,38,40,41,42,43,44,46,47,48,50,51,53],[15,48,51,54],[0,1,2,4,6,8,10,12,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,50,53],[0,1,2,4,6,8,9,12,14,16,17,19,20,30,34,37,38,39,42,44,45,47,48,52,53,54],[1,3,4,6,9,11,12,13,14,16,17,22,27,30,33,37,38,39,41,42,43,44,45,48,51,52,53],[1,2,3,6,8,11,12,22,24,26,27,29,30,32,33,35,36,38,39,42,43,44,45,46,47,48,50,51,52,54],[19,48,50,51,52,54],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,41,42,43,45,46,48,49,50,53,54],[0,1,2,4,5,7,10,11,13,14,15,18,19,25,27,29,30,32,38,40,43,45,46,47,50,52,53],[8,48,50,53,54],[0,1,2,4,5,7,8,10,11,13,14,15,19,27,28,29,30,32,38,40,43,45,46,52,53],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,29,30,32,35,36,37,38,40,42,43,45,46,47,48,54],[0,2,4,6,10,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,47,49,51,53],[0,1,3,11,13,16,20,22,25,28,29,33,39,47,48,50,53],[1,2,3,4,6,7,9,10,11,12,14,16,19,23,25,26,28,30,31,34,35,36,37,38,40,42,43,44,48,50,54],[1,3,5,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,37,38,39,43,44,45,47,49,51,52,53],[1,3,7,12,13,16,17,20,22,24,25,26,27,28,30,32,33,37,38,39,43,44,45,48,51,52,54],[0,1,2,4,5,6,8,9,12,13,14,16,19,20,22,23,25,26,28,30,31,33,34,37,38,42,43,44,47,50,52,53,54],[1,3,6,8,10,11,12,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,47,50,53],[1,3,6,8,11,12,22,24,26,27,29,30,32,33,36,38,39,42,43,44,45,47,49,50,53],[40,48,49,50,51,52,53,54],[0,1,2,5,7,10,11,13,14,15,18,19,27,29,30,32,38,40,43,45,50,52,54],[1,4,8,9,10,12,13,17,18,19,23,26,29,31,33,35,41,44,46,47,49,50,51,52],[0,1,3,5,6,7,10,14,15,16,19,23,26,31,32,33,36,37,39,41,42,46,50,51,53,54],[14,48,49,50],[30,48,51],[1,3,11,15,29,30,32,45,48,49,51,53],[0,1,2,4,6,8,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,40,42,43,44,45,47,50,53],[1,3,9,11,12,13,22,25,28,29,33,38,39,44,45,51],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,31,32,33,37,38,39,43,45,46,51,52,54],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,27,28,30,32,33,37,38,39,43,44,45,46,48,51,54],[1,3,5,7,12,13,16,17,20,22,25,26,27,28,30,32,33,37,38,39,43,44,45,46,47,50,51,53],[0,2,3,4,5,6,7,8,9,14,19,31,32,39,42,44,46,47,48,49,50,51,53],[1,3,6,8,11,12,21,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,46,50,54],[2,4,5,7,8,10,11,14,15,20,21,25,26,30,31,32,33,34,38,39,40,41,43,45,46,47,48,49,50,51,52],[2,5,7,8,9,10,15,17,21,26,27,28,30,31,33,34,35,36,37,38,39,40,41,45,51,53],[2,11,16,18,19,20,21,22,24,26,27,29,33,39,43,47,49,50,51,54],[13,48,50,53],[33,48,49,50,53],[0,1,2,3,4,6,10,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,48,54],[0,1,2,4,6,10,11,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,48,54],[20,48,50,51,53],[37,48,52,53],[0,1,5,7,10,11,12,13,16,18,22,23,24,26,27,30,32,33,35,36,38,40,43,45,49,50,51,53],[23,48,50,52,53],[1,3,5,7,12,13,16,20,22,24,25,26,27,28,30,32,33,37,38,39,43,45,47,48,49,51,52],[1,3,6,8,11,12,22,24,26,27,29,30,32,33,35,36,38,39,43,45,50,53,54],[5,7,9,11,13,15,16,17,20,24,25,29,30,31,33,34,36,37,38,39,40,42,43,44,46,48,51,52,54],[5,6,7,8,9,10,11,15,16,17,18,20,22,24,28,29,30,31,34,35,37,38,43,46,50,53],[1,3,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,47,48,49,50],[0,1,3,6,7,10,13,14,16,20,21,23,25,26,29,32,33,34,38,39,41,46,48,50,53],[0,3,6,7,8,9,12,14,16,17,19,20,21,22,31,32,34,35,38,45,46,48,51,52,54],[2,5,6,8,9,10,11,13,14,15,17,21,27,29,31,32,33,34,35,38,39,40,43,45,46,47,50,53,54],[3,4,5,8,9,10,13,15,16,17,21,23,26,28,30,32,33,34,35,36,37,41,42,44,45,46,47,49,51,52,54],[0,1,2,4,6,10,14,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,47,48,54],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,30,35,36,37,38,40,42,43,44,45,47,49,51],[0,1,2,4,6,8,9,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,48,51,53,54],[12,48,49,50,51,54],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,37,38,39,45,46,47,51,52],[0,2,3,4,5,6,7,9,13,14,18,19,22,24,25,26,27,28,32,33,34,42,43,46,48,49,51,53,54],[1,3,5,7,12,13,16,17,20,22,24,25,26,27,28,30,32,33,34,37,38,39,43,44,45,46,48,51,52,53,54],[1,3,5,7,12,13,16,17,20,22,24,25,26,28,30,32,33,37,38,39,43,45,46,48,49,51,52,53,54],[4,8,9,13,14,16,17,24,26,29,32,35,36,37,41,44,46,47,48,50,51,52,53],[2,48,49,51,52,54],[1,3,6,11,12,18,19,22,24,26,27,29,30,32,33,35,36,38,39,42,43,44,45,46,51,52,53],[0,1,2,4,5,7,10,11,13,14,15,18,19,27,29,30,32,38,39,40,43,44,45,46,47,49,50,52,53],[0,1,2,4,5,7,10,11,13,14,15,19,27,29,30,32,38,40,43,44,45,46,52,53],[28,48,49,50,53,54],[29,48,51,53,54],[2,3,4,6,8,10,11,13,14,15,17,18,19,22,27,29,30,32,33,35,36,37,38,39,40,42,43,44,45,46,47,50,51,53,54],[0,1,2,4,6,8,10,14,15,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,48,49,51,54],[2,4,5,6,8,9,10,11,13,14,17,18,19,20,22,23,24,27,31,32,33,34,35,36,39,40,42,44,45,47,48,50,51,52,53,54],[0,2,3,4,6,7,8,9,14,17,19,23,24,27,31,32,34,39,42,44,45,47,48,49,50,51,53],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,38,39,42,43,44,45,48,50,54],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,40,42,43,45,51,52,53],[4,48],[0,2,5,7,8,9,11,12,14,15,17,23,26,27,30,31,32,33,35,38,40,41,43,45,46,47,48,49,51,54],[2,3,4,6,8,11,13,16,23,26,27,29,30,31,33,36,37,38,39,40,41,42,43,44,45,46,47,50,51,52,54],[0,1,2,4,5,7,8,10,11,13,15,19,27,29,30,32,38,40,43,45,47,48,49,50,52,53],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,32,35,36,37,38,40,42,43,45,51,54],[0,2,3,4,6,10,11,14,16,17,19,20,25,27,28,29,35,36,37,38,40,42,43,44,49,51,53,54],[0,2,3,4,6,8,9,10,11,12,13,14,15,16,17,18,19,20,22,27,29,30,32,33,35,36,37,39,40,42,43,44,47,50,51,53],[31,48,52],[0,1,2,4,6,8,9,12,13,14,16,17,19,20,22,24,25,26,27,28,30,31,33,37,38,42,43,44,45,48,49],[21,48,51,52],[1,2,3,4,5,6,7,10,12,14,15,20,21,22,24,25,27,29,31,34,35,36,40,41,42,44,47,49,54],[1,2,3,5,6,7,8,9,10,11,12,15,17,18,21,22,24,28,29,31,32,34,37,40,41,42,43,44,46,47,52],[1,2,3,6,12,16,19,20,21,30,32,35,36,38,42,45,46,49,50,52,53,54],[0,1,2,4,5,7,10,11,13,14,15,18,19,22,27,29,30,32,38,40,43,45,46,48,50,52,54],[0,1,2,4,5,7,8,10,11,14,15,19,27,29,30,32,38,40,43,44,45,46,47,48,50,52],[0,1,2,4,5,7,8,10,11,13,14,15,19,27,29,30,32,33,38,40,43,45,46,47,48,49,50,52],[0,1,2,4,6,8,10,14,15,16,17,18,19,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,47,48,51],[1,2,4,6,8,10,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,46,47,50,53],[1,3,5,7,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,38,39,43,45,51,52,53,54],[0,3,8,10,11,17,20,23,25,28,35,36,37,39,40,44,48,49,50,53,54],[1,3,5,7,12,13,16,17,20,22,23,24,25,26,27,28,30,32,33,37,38,39,43,44,45,47,48,51,52],[17,48,49,50,52,53],[42,48,51,52,53],[1,3,5,6,7,8,9,12,13,15,16,17,20,22,25,26,27,31,32,34,35,37,40,45,46,50],[1,3,5,7,8,9,10,12,15,16,17,20,26,27,28,31,32,33,34,36,37,39,42,44,45,46,47,50,51,52],[6,48,49,50,51,52,53],[2,3,4,5,6,11,15,16,18,19,20,21,23,25,26,27,30,33,34,39,40,41,43,45,46,47,52,53,54],[1,2,3,4,5,6,8,9,10,11,12,13,15,16,17,18,20,21,22,27,29,30,31,34,35,40,43,44,46,47,50,51],[0,1,4,6,7,9,17,19,21,30,31,33,34,35,39,44,46,47,50,52,54],[0,1,2,3,7,9,11,14,16,17,19,21,23,26,27,28,29,33,34,35,36,37,38,40,41,42,43,44,46,47,49,51,53,54],[32,48,49,51,54],[9,48,50,51,54],[0,1,2,4,6,8,10,12,14,15,16,17,18,19,20,25,27,28,30,32,35,36,37,38,40,42,43,45,48,49,51,53,54],[43,48,52,54],[0,1,2,4,6,8,9,12,14,16,17,19,20,30,34,37,38,39,42,44,45,47,49,53],[34,48,50,52,54],[27,48,49,50,52,54],[1,3,4,6,9,11,12,13,14,16,17,22,27,30,33,37,38,39,41,42,43,44,45,53,54],[1,2,3,6,8,11,12,22,24,26,27,29,30,32,33,35,36,38,39,42,43,44,45,46,47,49,50],[1,3,6,11,12,18,22,24,26,27,29,30,32,33,35,36,38,39,41,42,43,45,46,51,52,53],[0,1,2,4,5,7,10,11,13,14,15,18,19,25,27,29,30,32,38,40,43,45,46,47,48,50,52,54],[39,48,49,53,54],[0,1,2,4,5,7,8,10,11,13,14,15,19,27,28,29,30,32,38,40,43,45,46,48,49,50,52,54],[0,1,2,4,6,10,14,15,16,17,19,20,25,27,28,29,30,32,35,36,37,38,40,42,43,45,46,47,51,53],[0,2,4,6,10,14,15,16,17,19,20,25,27,28,30,32,35,36,37,38,40,42,43,44,45,46,47,48,54],[0,1,3,11,13,16,20,22,25,28,29,33,39,47,51,54],[16,48,49,50,51,53,54],[1,2,3,4,6,7,9,10,11,12,14,16,19,23,25,26,28,30,31,34,35,36,37,38,40,42,43,44,50,52,53],[1,3,5,8,12,13,16,17,18,20,22,24,25,26,27,28,30,32,33,37,38,39,43,44,45,47,48,51,54],[1,3,7,12,13,16,17,20,22,24,25,26,27,28,30,32,33,37,38,39,43,44,45,50,51,53],[0,1,2,4,5,6,8,9,12,13,14,16,19,20,22,23,25,26,28,30,31,33,34,37,38,42,43,44,47,48,49],[1,3,6,8,10,11,12,22,24,26,27,29,30,32,33,35,36,38,39,42,43,45,47,48,50,51,52,54],[1,3,6,8,11,12,22,24,26,27,29,30,32,33,36,38,39,42,43,44,45,47,48,50,51,52,54],[36,48,50,51,52,53,54]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,3,46],"A_d":762,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,2],[2,2],[3,1],[4,2],[5,2],[6,1],[7,2],[8,1],[9,1],[10,2],[11,2],[12,1],[13,2],[14,2],[15,2],[16,1],[17,1],[18,1],[19,2],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,2],[28,1],[29,2],[30,2],[31,1],[32,2],[33,1],[34,1],[35,1],[36,1],[37,1],[38,2],[39,1],[40,2],[41,1],[42,1],[43,2],[44,1],[45,1],[46,1],[48,1],[50,1],[52,1],[54,1]],"CZ":[[0,1],[0,2],[0,4],[0,5],[0,7],[0,10],[0,11],[0,13],[0,14],[0,15],[0,19],[0,27],[0,29],[0,30],[0,32],[0,38],[0,40],[0,43],[0,44],[0,45],[0,46],[0,48],[0,50],[0,52],[0,54],[1,2],[1,4],[1,5],[1,7],[1,10],[1,11],[1,13],[1,14],[1,15],[1,19],[1,27],[1,29],[1,30],[1,32],[1,38],[1,40],[1,43],[1,44],[1,45],[1,46],[1,48],[1,50],[1,52],[1,54],[2,4],[2,5],[2,7],[2,10],[2,11],[2,13],[2,14],[2,15],[2,19],[2,27],[2,29],[2,30],[2,32],[2,38],[2,40],[2,43],[2,44],[2,45],[2,46],[2,48],[2,50],[2,52],[2,54],[4,5],[4,7],[4,10],[4,11],[4,13],[4,14],[4,15],[4,19],[4,27],[4,29],[4,30],[4,32],[4,38],[4,40],[4,43],[4,44],[4,45],[4,46],[4,48],[4,50],[4,52],[4,54],[5,7],[5,10],[5,11],[5,13],[5,14],[5,15],[5,19],[5,27],[5,29],[5,30],[5,32],[5,38],[5,40],[5,43],[5,44],[5,45],[5,46],[5,48],[5,50],[5,52],[5,54],[7,10],[7,11],[7,13],[7,14],[7,15],[7,19],[7,27],[7,29],[7,30],[7,32],[7,38],[7,40],[7,43],[7,44],[7,45],[7,46],[7,48],[7,50],[7,52],[7,54],[10,11],[10,13],[10,14],[10,15],[10,19],[10,27],[10,29],[10,30],[10,32],[10,38],[10,40],[10,43],[10,44],[10,45],[10,46],[10,48],[10,50],[10,52],[10,54],[11,13],[11,14],[11,15],[11,19],[11,27],[11,29],[11,30],[11,32],[11,38],[11,40],[11,43],[11,44],[11,45],[11,46],[11,48],[11,50],[11,52],[11,54],[13,14],[13,15],[13,19],[13,27],[13,29],[13,30],[13,32],[13,38],[13,40],[13,43],[13,44],[13,45],[13,46],[13,48],[13,50],[13,52],[13,54],[14,15],[14,19],[14,27],[14,29],[14,30],[14,32],[14,38],[14,40],[14,43],[14,44],[14,45],[14,46],[14,48],[14,50],[14,52],[14,54],[15,19],[15,27],[15,29],[15,30],[15,32],[15,38],[15,40],[15,43],[15,44],[15,45],[15,46],[15,48],[15,50],[15,52],[15,54],[19,27],[19,29],[19,30],[19,32],[19,38],[19,40],[19,43],[19,44],[19,45],[19,46],[19,48],[19,50],[19,52],[19,54],[27,29],[27,30],[27,32],[27,38],[27,40],[27,43],[27,44],[27,45],[27,46],[27,48],[27,50],[27,52],[27,54],[29,30],[29,32],[29,38],[29,40],[29,43],[29,44],[29,45],[29,46],[29,48],[29,50],[29,52],[29,54],[30,32],[30,38],[30,40],[30,43],[30,44],[30,45],[30,46],[30,48],[30,50],[30,52],[30,54],[32,38],[32,40],[32,43],[32,44],[32,45],[32,46],[32,48],[32,50],[32,52],[32,54],[38,40],[38,43],[38,44],[38,45],[38,46],[38,48],[38,50],[38,52],[38,54],[40,43],[40,44],[40,45],[40,46],[40,48],[40,50],[40,52],[40,54],[43,44],[43,45],[43,46],[43,48],[43,50],[43,52],[43,54],[44,45],[44,46],[44,48],[44,50],[44,52],[44,54],[45,46],[45,48],[45,50],[45,52],[45,54],[46,48],[46,50],[46,52],[46,54],[48,50],[48,52],[48,54],[50,52],[50,54],[52,54]]},"rotation_powers":[[0,3],[1,5],[2,5],[5,3],[6,5],[8,3],[11,7],[16,3],[17,5],[18,5],[19,3],[20,5],[21,3],[22,7],[23,3],[24,5],[25,3],[26,7],[27,5],[28,7],[29,3],[30,7],[31,5],[32,7],[33,5],[34,3],[35,5],[36,7],[41,5],[52,7],[55,7],[56,3],[59,5],[62,3],[63,3],[65,7],[68,3],[73,3],[75,3],[77,3],[79,3],[80,3],[81,3],[83,3],[84,3],[85,3],[88,3],[92,3],[93,3],[95,3],[97,3],[99,3],[102,5],[103,3],[104,3],[106,5],[107,3],[108,3],[110,7],[111,3],[113,3],[114,3],[116,3],[117,3],[121,3],[126,3],[130,3],[131,5],[133,3],[137,3],[140,3],[142,3],[145,3],[146,3],[147,3],[150,3],[151,3],[152,3],[153,3],[154,3],[155,3],[158,3],[159,3],[162,3],[164,3],[168,3],[170,3],[172,3],[173,3],[175,3],[179,3],[182,3],[194,3],[196,3],[198,3],[201,3],[204,3],[206,3],[208,3]]},"metrics":{"gamma":1.4226291776637536,"gamma_t":null,"gamma_rho":1.4226291776637536,"gamma_claim":1.4226291776637536,"gamma_t_claim":null,"gamma_rho_claim":1.4226291776637536,"v_ex":44,"rate":0.20952380952380953,"t_count":null,"poly_degree":null,"effective_width":44},"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_210_44_3_bcc5d94a11a6.json","label":"paired_column_contraction_210_44_3_bcc5d94a11a6","N":55,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_210_44_3_bcc5d94a11a6 (source catalogue id paired_column_contraction_210_44_3_bcc5d94a11a6); construction: Existing triorthogonal code with physical paired-column contraction; matrix bcc5d94a11a648fa...; the release states d=3 (exact), gamma=1.4226291776637536 (exact)","notes":"matrix gamma_frontier_release/matrices/bcc5d94a11a648fa22a028c761e0610e0c50b1a43e6c0a58da1625d31a149a85.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"}]}