{"id":"255.47.3.a","row":921,"stored":{"file":"master_catalog.json","row":921,"construction":null,"columns_sha256":null},"parameters":{"n":255,"k":47,"d":3,"N":62,"r":15,"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+44+45+46","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\u00b7T44\u00b7T45\u00b7T46","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],[44],[45],[46]],"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],[44],[45],[46]],"sk_fingerprint":"959fe6b5c0eb52a6","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,4,5,6,8,9,10,50,51,52],[0,1,2,4,5,6,8,47,48,51,52],[0,1,2,4,5,8,10,48,49,51,52],[0,1,2,4,5,47,48,49,51],[0,1,2,4,7,8,10,49,50,52],[0,1,2,7,9,48,51],[0,1,3,4,5,6,7,8,10,47,50,52],[0,1,3,4,6,7,8,48,49,50,51],[0,1,4,5,6,8,9,47,49,50],[0,1,4,5,7,9,10,47,48,49],[0,1,4,5,8,47,48,50,51],[0,1,5,9,10,48,50,51,52],[0,1,7,9,10,47,48,49,50,51,52],[0,1,9,47,49,52],[0,2,4,5,6,7,8,49,51,52],[0,2,4,6,7,47,48,49,50],[0,2,4,6,7,47,48,50,52],[0,2,5,6,7,49,50,51],[0,2,5,7,8,9,10,47,49],[0,2,6,7,10,47,48,49,52],[0,3,5,6,7,8,10,47,49,50,51,52],[0,3,6,7,8,48,50],[0,4,6,7,8,9,10,47,49,51],[0,4,7,9,10,47,51,52],[0,4,7,48,49,50,52],[0,7,10,48,52],[0,8,9,47,50,51],[1,2,4,5,7,9,10,47,49,51,52],[1,2,4,5,7,9,10,47,51],[1,2,4,5,9,48,50,52],[1,2,4,7,8,48,49,50],[1,2,5,7,8,9,10,48,49,52],[1,2,5,7,8,47,49,50,51],[1,2,6,7,9,47,50,51,52],[1,3,4,5,10,47,48,52],[1,3,4,49,51],[1,5,6,7,8,47,48,49,50,52],[1,6,7,8,10,49,50,51,52],[1,6,7,47,48,50],[1,50,52],[2,4,5,6,8,9,10,48,49,51],[2,4,5,6,8,9,10,48,50,51],[2,4,5,7,8,9,10,49,52],[2,5,6,7,9,47,52],[2,5,7,8,9,47,48],[2,6,7,9,10,48,49,50,51,52],[2,6,9,48,51,52],[3,5,10,47,48,49,51,52],[4,5,7,8,9,47,50],[4,5,10,47,48,51],[5,9,10,47,48,49,50,51],[10,47,48,50,51,52],[10,47,49,50,52],[10,48,49],[10,49,50],[10,50,51],[10,51,52],[11,12,13,15,16,17,19,20,21,55,56,57],[11,12,13,15,16,17,19,53,54,56,57],[0,2,4,5,6,8,9,11,16,50,54,56,57],[0,2,4,5,6,8,9,11,16,19,21,50,53,54,56],[0,2,4,5,6,8,9,11,18,50,55,57],[11,12,13,18,20,54,56],[11,12,14,15,16,17,18,19,21,53,55,57],[0,2,4,5,6,8,9,11,13,14,17,18,21,50,54,55,56],[0,2,4,5,6,8,9,11,13,16,17,20,21,50,53,55],[0,2,4,5,6,8,9,11,13,16,18,19,20,50,53,54],[11,12,15,16,19,53,54,55,56],[11,12,16,20,21,54,55,56,57],[0,2,4,5,6,8,9,11,13,15,18,19,20,50,53,54,55,56,57],[0,2,4,5,6,8,9,11,13,15,19,20,21,50,53,57],[0,2,4,5,6,8,9,11,12,16,17,18,21,50,56,57],[0,2,4,5,6,8,9,11,12,17,18,19,21,50,53,54,55],[11,13,15,17,18,53,54,55,57],[0,2,4,5,6,8,9,11,12,15,16,17,18,19,21,50,55,56],[0,2,4,5,6,8,9,11,12,15,16,18,20,50,53],[0,2,4,5,6,8,9,11,12,15,17,18,19,50,53,54,57],[0,2,4,5,6,8,9,11,12,13,14,15,16,17,18,50,53,55,56,57],[11,14,17,18,19,54,55],[0,2,4,5,6,8,9,11,12,13,17,18,20,50,53,56],[11,15,18,20,21,53,56,57],[0,2,4,5,6,8,9,11,12,13,18,19,21,50,54,55,57],[11,18,21,54,57],[11,19,20,53,55,56],[0,2,4,5,6,8,9,16,18,19,20,50,53,56,57],[12,13,15,16,18,20,21,53,56],[12,13,15,16,20,54,55,57],[0,2,4,5,6,8,9,18,21,50,54,55],[0,2,4,5,6,8,9,15,16,18,20,50,54,57],[0,2,4,5,6,8,9,15,16,18,21,50,53,55,56],[12,13,17,18,20,53,55,56,57],[12,14,15,16,21,53,54,57],[0,2,4,5,6,8,9,13,14,19,21,50,56],[0,2,4,5,6,8,9,13,15,16,17,18,21,50,53,54,55,57],[0,2,4,5,6,8,9,13,15,17,18,50,55,56,57],[12,17,18,53,54,55],[12,55,57],[0,2,4,5,6,8,9,12,16,17,20,50,54,56],[13,15,16,17,19,20,21,54,55,56],[0,2,4,5,6,8,9,12,16,18,20,50,57],[13,16,17,18,20,53,57],[13,16,18,19,20,53,54],[0,2,4,5,6,8,9,12,15,17,18,19,20,50,54,55,56,57],[13,17,20,54,56,57],[0,2,4,5,6,8,9,12,13,14,15,16,19,50,53,54,56,57],[15,16,18,19,20,53,55],[15,16,21,53,54,56],[0,2,4,5,6,8,9,12,13,15,16,19,20,50,53,54,55,56],[21,53,54,55,56,57],[0,2,4,5,6,8,9,12,13,15,19,50,53,55,57],[0,2,4,5,6,8,9,12,13,15,19,50,54],[0,2,4,5,6,8,9,12,13,15,19,50,55],[21,55,56],[21,56,57],[22,23,24,26,27,28,30,31,32,59,60,61],[11,13,15,16,17,19,20,27,28,55,58,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,23,24,26,27,30,52,55,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,23,24,26,27,32,52,55,58,60],[0,2,4,5,6,8,9,22,29,52,59,61],[11,13,15,16,17,19,20,26,29,30,31,55,60],[22,23,25,26,27,28,29,30,32,58,59,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,23,25,26,28,29,30,32,52,55,59,60],[0,2,4,5,6,8,9,22,24,27,28,31,32,52,58,59],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,23,26,27,29,31,52,55,58],[11,13,15,16,17,19,20,24,27,55,58,59,60],[11,13,15,16,17,19,20,24,26,27,30,31,32,55,59,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,23,29,31,52,55,58,59,60,61],[0,2,4,5,6,8,9,22,24,26,30,31,32,52,58,61],[0,2,4,5,6,8,9,22,23,27,28,29,32,52,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,24,26,28,29,32,52,55,58,59],[11,13,15,16,17,19,20,23,28,29,30,55,58,59,61],[0,2,4,5,6,8,9,22,23,26,27,28,29,30,32,52,59,60],[0,2,4,5,6,8,9,22,23,26,27,29,31,52,58],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,24,28,29,52,55,58,61],[0,2,4,5,6,8,9,22,23,24,25,26,27,28,29,52,58,59,60,61],[11,13,15,16,17,19,20,23,24,25,26,28,29,55,59],[0,2,4,5,6,8,9,22,23,24,28,29,31,52,58,60],[22,26,29,31,32,58,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,26,29,32,52,55,59,61],[11,13,15,16,17,19,20,23,24,26,29,30,32,55,61],[22,30,31,58,59,60],[0,2,4,5,6,8,9,27,29,30,31,52,58,60,61],[23,24,26,27,29,31,32,58,60],[11,13,15,16,17,19,20,22,27,30,31,55,59,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,23,24,26,29,30,32,52,55,59],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,23,24,27,29,30,31,52,55,61],[0,2,4,5,6,8,9,26,27,29,32,52,58,59,60],[23,24,28,29,31,58,59,60,61],[11,13,15,16,17,19,20,22,24,25,27,30,32,55,58,61],[0,2,4,5,6,8,9,24,25,30,32,52,60],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,23,27,28,29,30,32,52,55,58,59,61],[0,2,4,5,6,8,9,24,26,28,29,52,59,60,61],[11,13,15,16,17,19,20,22,24,26,28,29,30,55,58,59],[23,59,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,52,55,60],[11,13,15,16,17,19,20,22,23,27,28,31,32,55,59,60],[0,2,4,5,6,8,9,23,27,29,31,52,61],[24,27,28,29,31,58,61],[11,13,15,16,17,19,20,22,23,26,27,29,31,55,58],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,28,29,31,52,55,59,60,61],[11,13,15,16,17,19,20,22,23,26,28,30,31,55,60,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,25,27,52,55,58,60,61],[26,27,29,30,31,58,59],[11,13,15,16,17,19,20,22,23,24,27,30,32,55,58,60],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,27,31,52,55,58,59,60],[11,13,15,16,17,19,20,22,23,24,26,30,32,55,58,59,60,61],[0,2,4,5,6,8,9,23,24,26,30,52,58,59,61],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,52,55],[0,2,4,5,6,8,9,23,24,26,30,52,59],[32,59,60],[32,60,61],[0,5,6,9,11,12,13,15,16,17,19,20,21,22,24,28,29,30,32,49,51,56,58,59,60,61],[1,2,4,5,6,8,9,11,12,13,16,18,19,20,21,26,27,29,31,32,37,39,40,42,43,48,49,51,53,54,56,57,58,59,60],[2,6,7,8,12,15,17,18,21,26,27,29,31,32,35,37,38,41,43,47,48,49,51,53,54,56,58,59,60],[2,5,7,8,9,10,11,12,13,17,18,19,22,24,28,29,30,32,33,34,37,38,39,40,41,47,49,53,57,58,60],[0,1,4,6,7,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,40,47,49,51,56,59,60,61],[1,2,4,8,10,12,15,16,18,20,22,24,28,29,30,32,33,34,35,38,39,40,43,49,53,58,60],[0,5,6,9,12,21,22,23,24,26,27,28,30,31,32,33,36,39,41,42,43,49,51,56,57,59,60,61],[0,2,5,7,8,9,11,13,16,18,19,20,22,23,24,28,29,30,36,37,39,40,41,47,48,53,54,58,61],[0,1,4,5,7,9,10,12,16,17,20,23,32,34,38,40,41,42,43,47,48,49,54,57,60,61],[2,5,7,8,9,10,11,12,13,17,18,19,22,23,24,26,27,28,30,31,32,47,49,53,57,60],[0,1,2,4,8,15,17,18,22,23,24,28,29,30,35,37,40,42,43,48,53,54,57,58,61],[0,1,2,4,5,6,8,9,10,11,13,17,18,19,21,23,26,27,29,31,33,34,39,51,53,56,58,59,61],[0,2,6,7,8,10,15,16,18,20,21,23,26,27,29,31,33,34,35,39,41,42,43,47,51,53,56,57,58,59,61],[1,4,6,7,10,11,13,15,19,21,22,24,26,27,28,30,31,34,37,39,40,42,43,47,48,51,54,56,57,59],[1,4,6,7,10,16,17,20,21,22,23,24,28,29,30,33,38,39,40,47,48,51,54,56,58,59],[0,2,5,7,8,9,15,17,18,22,24,26,27,28,30,31,33,34,37,41,43,47,48,53,54,57,61],[0,1,2,4,5,6,8,9,10,15,16,18,20,21,37,38,39,41,42,51,53,56,57,59,61],[0,1,4,5,7,9,10,11,12,13,15,19,26,27,29,31,32,33,37,38,39,40,41,47,48,49,54,58,60,61],[1,4,5,7,9,11,13,15,16,17,19,20,33,47,57],[2,6,7,8,11,12,13,16,18,19,20,21,23,32,33,34,41,47,48,49,51,53,54,56,57,59,60],[0,1,4,6,7,12,21,22,24,28,29,30,32,34,36,37,38,41,43,47,49,51,56,57,58,59,60,61],[0,1,2,4,8,11,13,16,18,19,20,22,24,26,27,28,30,31,33,34,36,38,40,41,42,48,53,54,61],[1,4,5,7,9,11,13,15,16,17,19,20,23,26,27,29,31,34,41,42,43,47,57,58],[5,6,9,10,11,13,15,19,21,22,23,24,28,29,30,33,38,48,51,54,56,57,58,59],[0,2,6,7,8,10,11,13,17,18,19,21,37,40,43,47,51,53,56,59,61],[1,2,4,5,6,8,9,12,15,17,18,21,23,32,33,34,38,39,40,42,43,48,49,51,53,54,56,59,60],[0,10,12,16,17,20,26,27,29,31,32,33,37,38,40,41,43,48,49,54,57,58,60,61],[1,4,6,7,10,11,13,15,19,21,22,23,24,28,29,30,37,41,43,47,48,51,54,56,57,58,59],[11,13,15,16,17,19,20,23,26,27,29,31,33,34,37,38,39,41,42,57,58],[0,1,2,4,5,6,8,9,10,11,13,17,18,19,21,33,38,41,42,51,53,56,59,61],[0,2,5,7,8,9,11,13,16,18,19,20,22,24,26,27,28,30,31,34,38,39,40,42,43,47,48,53,54,61],[2,6,7,8,12,15,17,18,21,23,32,34,37,39,40,47,48,49,51,53,54,56,59,60],[0,1,4,5,7,9,10,12,16,17,20,26,27,29,31,32,42,47,48,49,54,57,58,60,61],[0,5,6,9,12,21,22,24,28,29,30,32,33,34,41,42,43,49,51,56,57,58,59,60,61],[1,2,4,5,6,8,9,11,12,13,16,18,19,20,21,23,32,34,36,38,39,40,43,48,49,51,53,54,56,57,59,60],[1,4,5,7,9,23,26,27,29,31,33,34,36,37,38,39,42,47,58],[0,2,6,7,8,10,15,16,18,20,21,33,37,39,41,42,43,47,51,53,56,57,59,61],[0,1,4,6,7,11,12,13,15,16,17,19,20,21,22,24,28,29,30,32,33,34,38,40,41,42,43,47,49,51,56,58,59,60,61],[0,1,2,4,8,15,17,18,22,24,26,27,28,30,31,34,37,48,53,54,57,61],[0,5,6,9,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,34,49,51,56,59,60,61],[2,5,7,8,9,10,12,15,16,18,20,22,24,28,29,30,32,34,43,47,49,53,58,60],[0,1,2,4,8,11,13,16,18,19,20,22,23,24,28,29,30,33,38,39,42,48,53,54,58,61],[1,4,6,7,10,16,17,20,21,22,24,26,27,28,30,31,33,34,35,37,39,40,41,47,48,51,54,56,59],[5,6,9,10,11,13,15,19,21,22,24,26,27,28,30,31,33,34,38,41,42,48,51,54,56,57,59],[1,2,4,8,10,11,12,13,17,18,19,22,23,24,26,27,28,30,31,32,33,49,53,57,60],[0,2,6,7,8,10,11,13,17,18,19,21,23,26,27,29,31,34,37,38,40,41,43,47,51,53,56,58,59,61],[1,2,4,5,6,8,9,12,15,17,18,21,26,27,29,31,32,33,37,39,41,42,43,48,49,51,53,54,56,58,59,60],[2,6,7,8,11,12,13,16,18,19,20,21,26,27,29,31,32,33,36,37,40,42,43,47,48,49,51,53,54,56,57,58,59,60],[0,10,12,16,17,20,23,32,33,34,35,37,38,39,42,48,49,54,57,60,61],[1,2,4,8,10,11,12,13,17,18,19,22,24,28,29,30,32,34,38,39,40,49,53,57,58,60],[0,2,5,7,8,9,15,17,18,22,23,24,28,29,30,33,37,40,43,47,48,53,54,57,58,61],[0,1,2,4,5,6,8,9,10,15,16,18,20,21,23,26,27,29,31,34,37,39,40,51,53,56,57,58,59,61],[0,1,4,6,7,12,21,22,23,24,26,27,28,30,31,32,35,38,40,41,42,47,49,51,56,57,59,60,61],[2,5,7,8,9,10,12,15,16,18,20,22,23,24,26,27,28,30,31,32,33,47,49,53,60],[0,1,4,5,7,9,10,11,12,13,15,19,23,32,33,34,38,39,42,47,48,49,54,60,61],[0,10,11,12,13,15,19,26,27,29,31,32,34,48,49,54,58,60,61],[5,6,9,10,16,17,20,21,22,23,24,28,29,30,34,48,51,54,56,58,59],[5,6,9,10,11,12,13,15,19,22,24,26,27,28,30,31,44,48,51,54,59],[5,6,9,10,16,17,20,21,44,48,51,54,56,59,61],[11,12,13,15,16,17,19,20,21,22,24,26,27,28,30,31,44,56,61],[0,1,2,4,5,6,8,9,10,16,17,20,21,51,54,56,59,61],[0,1,2,4,8,11,12,13,15,16,17,19,20,21,22,24,26,27,28,30,31,48,56,61],[0,1,2,4,5,6,8,9,10,11,12,13,15,19,44,51,54,59,61],[0,1,2,4,5,6,8,9,10,16,17,20,21,22,24,26,27,28,30,31,44,51,54,56,59],[0,1,2,4,8,22,24,26,27,28,30,31,44,48,61],[0,1,2,4,8,11,12,13,15,16,17,19,20,21,44,48,56],[1,2,4,8,10,22,23,24,26,27,28,30,31,32,45,49,60],[1,2,4,5,6,8,9,11,13,16,18,19,20,22,23,24,26,27,28,30,31,32,45,48,49,51,53,54,59,60,61],[5,6,9,10,11,13,16,18,19,20,45,48,51,53,54,59,61],[5,6,9,10,11,13,16,18,19,20,22,23,24,26,27,28,30,31,32,48,51,53,54,59,60,61],[1,2,4,5,6,8,9,11,13,16,18,19,20,48,49,51,53,54,59,61],[1,2,4,8,10,12,15,16,18,20,45,49,53],[1,2,4,5,6,8,9,11,12,13,15,19,45,48,49,51,54,59,61],[12,15,16,18,20,22,23,24,26,27,28,30,31,32,45,53,60],[5,6,9,10,11,12,13,15,19,22,23,24,26,27,28,30,31,32,45,48,51,54,59,60,61],[0,1,2,4,5,6,8,9,10,22,24,26,27,28,30,31,46,51,59],[1,2,4,5,6,8,9,22,23,24,26,27,28,30,31,32,46,48,49,51,59,60,61],[0,10,23,32,46,48,49,60,61],[0,10,22,23,24,26,27,28,30,31,32,48,49,59,60,61],[1,2,4,5,6,8,9,23,32,48,49,51,60,61],[0,10,11,12,13,15,19,22,23,24,26,27,28,30,31,32,46,48,49,54,59,60,61],[11,12,13,15,19,22,24,26,27,28,30,31,46,54,59],[1,2,4,5,6,8,9,11,12,13,15,19,23,32,46,48,49,51,54,60,61],[0,1,2,4,5,6,8,9,10,11,12,13,15,19,46,51,54]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,38],"A_d":1995,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[2,1],[3,1],[4,1],[6,3],[7,1],[8,2],[9,2],[10,3],[11,1],[12,1],[13,1],[14,1],[15,2],[16,2],[18,2],[19,2],[21,2],[23,2],[25,1],[28,3],[29,1],[30,1],[31,2],[33,1],[34,1],[35,1],[36,1],[44,1],[45,1],[46,1],[47,1],[48,1],[50,1],[51,1],[52,1],[53,2],[54,2],[55,1],[56,2],[57,1],[58,1],[59,1]],"CZ":[[0,1],[0,2],[0,4],[0,7],[0,9],[0,22],[0,23],[0,24],[0,26],[0,27],[0,28],[0,30],[0,31],[0,32],[0,37],[0,38],[0,40],[0,43],[0,49],[0,50],[0,52],[0,59],[0,60],[0,61],[1,4],[1,5],[1,7],[1,9],[1,10],[1,12],[1,15],[1,16],[1,18],[1,20],[1,22],[1,24],[1,26],[1,27],[1,28],[1,30],[1,31],[1,47],[1,49],[1,51],[1,53],[1,61],[2,5],[2,6],[2,7],[2,8],[2,10],[2,12],[2,15],[2,16],[2,18],[2,20],[2,22],[2,24],[2,26],[2,27],[2,28],[2,30],[2,31],[2,49],[2,50],[2,51],[2,52],[2,53],[2,61],[4,5],[4,7],[4,12],[4,15],[4,16],[4,18],[4,20],[4,22],[4,24],[4,26],[4,27],[4,28],[4,30],[4,31],[4,47],[4,49],[4,51],[4,53],[4,61],[5,7],[5,8],[5,10],[5,11],[5,12],[5,13],[5,15],[5,16],[5,17],[5,19],[5,20],[5,21],[5,22],[5,23],[5,24],[5,26],[5,27],[5,28],[5,30],[5,31],[5,32],[5,37],[5,39],[5,40],[5,42],[5,47],[5,48],[5,49],[5,52],[5,56],[5,60],[6,8],[6,9],[6,10],[6,11],[6,12],[6,13],[6,15],[6,16],[6,17],[6,19],[6,20],[6,21],[6,22],[6,23],[6,24],[6,26],[6,27],[6,28],[6,30],[6,31],[6,32],[6,37],[6,39],[6,40],[6,42],[6,48],[6,49],[6,50],[6,56],[6,60],[7,9],[7,47],[7,50],[7,51],[7,52],[8,10],[8,12],[8,15],[8,16],[8,18],[8,20],[8,22],[8,24],[8,26],[8,27],[8,28],[8,30],[8,31],[8,49],[8,50],[8,52],[8,53],[8,61],[9,11],[9,12],[9,13],[9,15],[9,16],[9,17],[9,19],[9,20],[9,21],[9,22],[9,23],[9,24],[9,26],[9,27],[9,28],[9,30],[9,31],[9,32],[9,37],[9,39],[9,40],[9,42],[9,47],[9,48],[9,49],[9,50],[9,51],[9,56],[9,60],[10,11],[10,13],[10,17],[10,18],[10,19],[10,21],[10,22],[10,24],[10,26],[10,27],[10,28],[10,30],[10,31],[10,38],[10,39],[10,42],[10,43],[10,48],[10,49],[10,50],[10,53],[10,56],[10,59],[11,16],[11,17],[11,18],[11,19],[11,37],[11,38],[11,40],[11,43],[11,48],[11,51],[11,54],[11,55],[11,56],[11,57],[11,59],[11,61],[12,22],[12,23],[12,24],[12,26],[12,27],[12,28],[12,30],[12,31],[12,32],[12,37],[12,38],[12,40],[12,43],[12,48],[12,49],[12,51],[12,54],[12,56],[12,59],[12,60],[12,61],[13,16],[13,17],[13,18],[13,19],[13,37],[13,38],[13,40],[13,43],[13,48],[13,51],[13,54],[13,55],[13,56],[13,57],[13,59],[13,61],[15,20],[15,21],[15,22],[15,23],[15,24],[15,26],[15,27],[15,28],[15,30],[15,31],[15,32],[15,37],[15,38],[15,40],[15,43],[15,48],[15,49],[15,51],[15,54],[15,56],[15,59],[15,60],[15,61],[16,17],[16,19],[16,21],[16,23],[16,32],[16,37],[16,39],[16,40],[16,42],[16,48],[16,49],[16,51],[16,54],[16,56],[16,57],[16,59],[16,60],[17,19],[17,21],[17,22],[17,24],[17,26],[17,27],[17,28],[17,30],[17,31],[17,37],[17,39],[17,40],[17,42],[17,48],[17,51],[17,54],[17,55],[17,56],[17,59],[18,22],[18,23],[18,24],[18,26],[18,27],[18,28],[18,30],[18,31],[18,32],[18,49],[18,55],[18,56],[18,57],[18,60],[19,37],[19,38],[19,40],[19,43],[19,48],[19,51],[19,54],[19,55],[19,57],[19,59],[19,61],[20,23],[20,32],[20,37],[20,39],[20,40],[20,42],[20,48],[20,49],[20,51],[20,54],[20,55],[20,59],[20,60],[21,22],[21,24],[21,26],[21,27],[21,28],[21,30],[21,31],[21,37],[21,39],[21,40],[21,42],[21,48],[21,51],[21,54],[21,55],[21,59],[22,23],[22,24],[22,26],[22,27],[22,28],[22,29],[22,37],[22,39],[22,40],[22,42],[22,51],[22,53],[22,54],[22,56],[22,60],[23,24],[23,27],[23,29],[23,30],[23,31],[23,32],[23,37],[23,39],[23,41],[23,43],[23,49],[23,51],[23,53],[23,58],[23,59],[24,26],[24,27],[24,28],[24,29],[24,37],[24,39],[24,40],[24,42],[24,51],[24,53],[24,54],[24,56],[24,60],[26,27],[26,29],[26,30],[26,32],[26,37],[26,38],[26,41],[26,42],[26,51],[26,53],[26,54],[26,56],[26,58],[26,59],[26,60],[26,61],[27,29],[27,30],[27,37],[27,38],[27,41],[27,42],[27,51],[27,53],[27,54],[27,56],[27,58],[27,59],[28,30],[28,31],[28,37],[28,39],[28,40],[28,42],[28,51],[28,53],[28,54],[28,56],[28,61],[29,31],[29,38],[29,39],[29,40],[29,41],[29,58],[29,59],[29,60],[29,61],[30,37],[30,39],[30,40],[30,42],[30,51],[30,53],[30,54],[30,56],[31,32],[31,37],[31,38],[31,41],[31,42],[31,51],[31,53],[31,54],[31,56],[31,58],[31,60],[31,61],[32,37],[32,38],[32,40],[32,43],[32,49],[32,51],[32,53],[34,40],[34,41],[34,42],[34,43],[37,38],[37,39],[37,40],[37,41],[37,42],[37,43],[37,49],[37,51],[37,56],[37,59],[37,60],[37,61],[38,39],[38,40],[38,41],[38,42],[38,43],[38,48],[38,49],[38,54],[38,58],[38,60],[38,61],[39,40],[39,41],[39,42],[39,43],[39,48],[39,51],[39,54],[39,56],[39,58],[39,59],[40,41],[40,42],[40,43],[40,49],[40,51],[40,56],[40,58],[40,59],[40,60],[40,61],[41,42],[41,43],[41,58],[42,43],[42,48],[42,51],[42,54],[42,56],[42,59],[43,48],[43,49],[43,54],[43,60],[43,61],[48,51],[48,56],[48,59],[48,61],[49,51],[49,53],[49,59],[49,60],[51,56],[51,60],[53,60],[54,56],[54,61],[56,59],[59,60]]},"rotation_powers":[[0,7],[1,7],[2,3],[3,5],[4,7],[5,3],[6,3],[7,7],[10,5],[13,3],[14,7],[15,3],[16,3],[23,3],[25,3],[30,3],[36,3],[38,3],[39,3],[40,3],[42,3],[44,3],[45,3],[47,3],[51,3],[57,7],[60,3],[61,7],[62,5],[63,3],[64,7],[66,5],[68,5],[71,5],[72,7],[73,3],[76,3],[79,3],[86,3],[89,3],[90,3],[94,3],[97,3],[98,3],[99,3],[104,3],[105,3],[107,3],[109,3],[110,3],[111,3],[112,3],[114,3],[115,5],[117,7],[118,3],[119,5],[120,3],[121,7],[122,5],[125,5],[128,5],[129,7],[130,3],[133,3],[136,3],[143,3],[146,3],[147,3],[151,3],[154,3],[155,3],[156,3],[161,3],[162,3],[164,3],[166,3],[167,3],[168,3],[169,3],[171,3],[172,7],[174,5],[175,7],[178,5],[179,3],[181,5],[182,3],[185,7],[186,3],[187,3],[189,3],[191,3],[192,3],[193,3],[195,3],[197,3],[198,3],[199,3],[200,3],[202,3],[203,3],[204,3],[207,3],[209,3],[210,3],[212,3],[213,3],[214,3],[215,3],[217,3],[218,3],[219,3],[222,3],[223,3],[224,3],[228,7],[231,3],[232,3],[233,3],[235,3],[237,7],[238,3],[239,3],[240,3],[241,3],[242,3],[243,3],[244,3],[245,3],[246,5],[247,3],[250,3],[251,3],[254,3]]},"metrics":{"gamma":1.5393200685007564,"gamma_t":null,"gamma_rho":1.5393200685007564,"gamma_claim":1.5393200685007564,"gamma_t_claim":null,"gamma_rho_claim":1.5393200685007564,"v_ex":47,"rate":0.1843137254901961,"t_count":null,"poly_degree":null,"effective_width":47},"provenance":{"regimes":["AI search: graph gluing"],"discovery":"AI search","strongest_claim":"found by an AI search that glues catalogued small factories along a graph of paired-column contractions; exact distance verified from columns; a verified witness, not a maximum","sources":[{"regime":"AI search: graph gluing","file":"master_catalog/imports/2026-09-18_graph_gluing_d3/factories.json","label":"graph gluing [[255,47,3]]","N":62,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- four [[63,11,3]] and three [[15,1,3]] glued along K7 by 21 paired-column contraction(s) (dependent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_heterogeneous_n255_k47_d3.json","notes":"Exact A3=1995 independently counted; details in master_catalog/imports/2026-09-18_graph_gluing_d3/README.md. General gluing has prior art; publication novelty is not asserted."}]},"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"}]}