{"id":"288.64.3.a","row":951,"stored":{"file":"master_catalog.json","row":951,"construction":null,"columns_sha256":null},"parameters":{"n":288,"k":64,"d":3,"N":75,"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+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63","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\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63","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],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63]],"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],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63]],"sk_fingerprint":"0a9ba051b03165bc","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,3,6,8,13,14,19,21,22,26,28,29,33,35,36,39,43,44,45,46,49,52,54,55,57,59,60,61,65,68,69,72,74],[27,68],[0,2,3,4,6,7,8,9,11,12,13,14,17,19,20,22,24,25,26,27,30,31,32,33,34,35,36,41,43,44,47,48,49,50,53,55,56,59,60,61,62,66,67,69,70,72],[0,1,4,6,7,10,12,14,15,19,21,23,24,25,26,27,28,29,30,31,32,33,35,36,37,40,41,42,45,47,48,50,51,56,57,58,59,61,62,64,65,66,70,72],[0,1,2,3,4,5,7,10,13,14,15,23,27,28,32,38,39,41,43,49,50,52,53,54,56,58,63,65,66,67,72],[0,4,5,7,10,12,13,15,19,27,32,37,38,40,41,42,43,45,49,50,52,54,55,56,57,58,60,65,66,67,69,70,71,72,74],[0,1,2,5,9,10,11,13,15,17,19,20,21,24,25,28,29,31,34,37,38,40,41,42,43,46,47,48,49,50,53,55,58,60,62,67,68,69,71,73],[58,67,70,72],[2,3,5,6,12,13,19,21,24,25,26,27,29,31,33,35,36,37,38,40,41,42,43,45,47,48,50,52,53,54,56,57,58,59,61,62,63,64,67,68,73],[30,73],[1,3,4,5,6,7,8,10,12,14,15,21,22,28,29,30,32,33,35,36,37,38,40,41,42,44,46,49,50,56,58,59,61,66,67,70,71,73],[41,67,69,73],[0,2,5,6,9,10,11,14,15,17,19,20,23,27,33,34,35,36,37,40,42,45,46,50,52,53,54,59,61,64,68,71,72,74],[0,2,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,46,50,51,52,53,54,56,58,59,61,63,65,71,72],[45,68,69,70,71,73],[50,69,72,73],[0,1,2,3,4,7,8,9,11,12,17,19,20,21,22,23,26,28,29,30,32,34,38,41,44,45,52,53,54,64,66,73,74],[0,2,6,8,12,13,21,22,23,26,29,30,33,35,36,37,39,40,42,43,44,45,46,49,51,52,53,54,59,61,63,65,69,72],[0,2,3,11,12,17,18,25,26,27,32,34,45,46,47,48,51,57,62,64,65,69,70,71,73,74],[48,70,71,74],[2,3,10,14,15,17,23,36,37,39,40,42,43,44,45,46,51,52,53,54,55,64,67,70,71],[52,67,68,70,71,74],[6,10,12,13,14,16,19,20,21,22,23,26,27,29,30,31,32,33,38,39,41,42,44,46,47,50,51,53,54,55,56,57,58,60,61,62,63,65,67,70,71,74],[1,5,7,10,13,14,15,19,20,21,22,23,24,25,28,30,31,32,34,35,36,37,39,41,42,43,44,45,48,49,51,53,57,58,61,62,63,66,67,69],[1,67,69,74],[1,12,13,14,17,19,28,30,36,39,43,44,45,46,52,54,57,60,63,65,67,69,74],[0,3,4,5,8,10,12,13,15,17,21,22,26,27,29,33,35,39,41,45,50,55,56,58,59,61,63,64,68,70,72,74],[1,2,4,6,8,10,15,16,18,19,21,22,23,25,27,30,32,33,34,37,39,46,48,50,51,53,57,58,59,60,61,64,65,68,69,70,71,72,73],[31,68,69,70,71,74],[0,2,4,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,50,51,52,53,54,56,58,59,61,63,66,71,72],[0,1,8,9,10,12,17,19,20,21,22,23,24,25,26,27,28,29,31,32,33,36,37,40,41,42,43,45,50,51,53,55,56,57,58,61,62,64,65,66,72,74],[2,3,4,6,11,12,13,14,15,19,20,21,22,23,26,30,32,36,38,39,40,41,46,47,53,55,57,58,60,61,63,65,67,69,72,74],[1,2,3,15,16,19,20,21,22,24,26,29,30,32,33,35,37,38,40,48,49,52,54,57,61,62,63,64,66,68,69,70,72,73,74],[28,68,69,71,72,74],[4,5,13,27,30,39,41,43,45,49,50,56,58,66,69,71],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,28,29,33,35,36,37,40,42,49,51,53,57,59,60,61,65,69,70,71,72],[47,67,69,71,72,74],[2,3,4,5,10,13,15,17,18,23,27,30,36,37,40,41,42,43,44,46,49,50,51,52,53,54,55,56,58,64,67,68,72],[17,69,72,74],[57,69,70,71,72,74],[0,1,3,5,7,8,10,12,14,16,17,18,19,21,22,24,25,27,28,31,34,35,37,38,39,41,43,45,48,52,56,59,60,64,65,67,69,71,72,73],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,56,58,59,60,62,66,68,69,70,72,74],[1,3,4,6,12,16,17,18,19,20,23,24,25,26,27,28,29,30,32,33,35,41,43,44,46,48,49,51,53,55,57,58,59,62,63,65,66,67,68,69,71],[0,2,3,4,5,8,9,10,12,14,15,17,21,22,24,25,26,29,31,32,33,36,39,43,49,60,61,62,63,64,65,66,68,69,71,72],[2,4,5,10,14,23,27,32,36,38,40,41,43,46,49,50,55,56,57,58,59,60,63,65,66,69,72,74],[4,5,13,27,30,39,41,42,45,49,50,56,58,64,65,66,69,71],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,28,29,33,35,37,40,42,49,51,57,59,60,61,64,68,69,70,71,72,73,74],[1,3,6,9,12,15,19,20,23,24,27,28,30,31,32,35,36,37,40,41,42,43,45,49,50,51,53,56,57,58,59,62,63,64,67,68,70,73,74],[2,3,4,5,10,11,13,15,17,23,27,30,36,37,40,41,42,43,44,46,49,50,51,52,53,54,55,56,58,65,67,68,73],[2,69,73,74],[3,6,8,10,12,15,17,21,22,26,29,30,33,35,49,55,59,61,63,65,68,72,73],[8,67,68,71,73,74],[0,1,3,4,6,7,8,10,12,13,14,17,18,19,21,23,24,25,26,27,28,29,30,33,34,35,36,37,38,40,42,44,45,48,49,50,51,53,58,59,60,64,65,66,68,70,71,72,73,74],[0,1,4,5,8,9,10,13,17,19,20,21,22,23,24,25,26,28,30,31,32,33,36,37,39,40,42,43,49,51,53,55,57,61,62,66,69,71,72,74],[0,2,3,7,8,9,10,12,15,16,17,20,22,23,25,27,28,30,32,36,38,41,45,49,50,51,52,53,56,58,60,62,63,65,67,68,69,70,71,72],[0,7,8,9,15,17,20,21,22,24,25,26,27,28,29,31,32,33,38,39,40,41,42,43,44,50,54,56,57,58,59,60,61,62,63,65,66,67,68,70,72,74],[55,70,73,74],[1,2,4,5,6,9,10,12,13,17,19,20,24,25,28,31,32,35,44,45,46,52,54,55,57,59,63,66,71,74],[23,67,68,69,71,72,73,74],[3,4,5,8,9,10,13,14,15,17,20,21,22,24,25,26,28,29,30,31,32,33,36,37,38,40,44,45,46,49,53,54,59,61,62,65,67,68,69,70],[1,3,4,5,6,9,12,13,15,19,20,23,24,25,28,31,32,35,36,37,39,42,43,51,53,57,59,62,63,64,67,71,72,73,74],[0,8,12,13,14,20,21,22,23,24,25,26,27,29,30,31,32,33,37,39,40,41,42,44,46,50,51,52,53,54,55,56,58,60,61,62,63,65,70,71,72,74],[0,2,3,4,8,9,10,11,12,13,16,18,19,21,22,24,28,32,34,36,37,39,40,41,42,46,48,49,52,55,58,61,63,64,65,67,68,69,70,71,73,74],[59,67,69,72,73,74],[1,10,12,13,14,17,19,28,30,36,37,39,43,44,45,46,52,54,57,60,63,64,67,69,72,73,74],[16,68,71,72,73,74],[21,68,70,72,73,74],[0,1,3,4,6,10,12,13,14,17,18,21,22,25,28,29,30,31,34,35,37,40,42,48,49,50,58,59,61,66,72],[22,68,69,70,71,72,73,74],[3,67,71,72,73,74],[0,1,8,9,10,17,19,20,21,22,23,24,25,26,27,28,29,31,33,36,37,40,41,42,43,45,50,51,53,55,56,57,58,61,62,66,67,70,73],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,27,28,29,33,35,37,40,42,49,51,53,57,59,60,61,64,65,66,68,69,70,71,72],[1,5,6,7,11,12,14,15,17,21,27,28,29,34,35,36,41,43,45,46,47,48,50,52,53,54,55,56,57,59,60,64,65,67,68],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,54,58,59,60,62,64,68,69],[0,2,3,5,6,7,10,21,24,25,26,29,30,31,32,33,35,36,39,47,48,49,53,55,59,60,61,62,63,64,66,68,69,70,71,72,74],[1,3,4,5,6,7,8,10,12,13,14,15,21,22,26,27,28,29,30,32,33,35,36,37,38,40,41,42,44,45,46,50,51,56,58,59,61,64,65,66,67,69],[0,4,5,7,10,12,13,15,19,27,32,37,38,40,41,42,43,45,49,50,52,54,55,56,57,58,60,64,65,66,67,69,70,71,72,74],[2,3,10,15,17,23,36,37,39,40,42,43,44,45,46,49,51,52,53,54,55,66,68,70,71,74],[0,1,4,6,10,11,13,14,15,17,19,21,28,29,30,32,34,35,36,37,38,39,40,41,42,46,47,48,49,50,53,58,59,66,67,68,69,70,71,73,74],[0,1,8,9,10,17,19,20,21,22,23,24,25,26,27,28,29,31,32,33,36,37,40,41,42,43,45,50,51,53,55,56,57,61,62,65,67,70,74],[0,3,4,8,19,22,23,24,25,31,38,44,45,46,47,48,51,57,62,67,68,71,72,73],[1,2,3,12,13,14,15,19,23,28,30,37,40,42,53,55,57,60,63,65,68,74],[30,65,73],[1,2,4,5,6,7,8,12,14,17,21,22,23,28,29,30,32,33,35,38,39,41,43,45,49,50,51,52,53,54,55,56,58,59,61,64,65,67,68,73,74],[2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,41,43,55,59,60,62,64,65,66,67,69,70,73,74],[1,2,5,6,8,11,14,15,21,22,24,25,26,28,29,31,32,34,35,41,43,46,51,52,54,55,56,57,58,59,62,68,71],[1,2,3,12,13,14,15,19,23,28,30,37,40,42,45,51,53,55,57,60,63,64,69,70,71,73,74],[0,1,3,6,8,13,14,15,19,21,22,26,28,29,33,35,36,43,44,45,46,49,52,54,55,57,59,60,61,64,68,69,72,74],[0,1,2,6,8,10,13,14,17,19,21,22,23,28,29,33,35,37,40,42,49,51,53,57,59,60,61,66,69,70,71,72],[0,1,2,3,4,5,8,9,13,15,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,50,52,54,57,61,62,66,68,70,73],[0,1,2,4,6,7,8,10,11,12,13,14,15,19,21,22,24,25,26,27,28,29,30,31,34,35,37,38,39,40,42,45,46,49,50,51,56,58,59,60,62,64,65,66,68,69,73,74],[1,2,3,4,12,14,15,19,23,27,28,37,39,40,41,42,45,49,50,51,53,55,56,57,58,60,63,64,68,69,71,74],[0,2,3,11,12,17,18,25,26,27,32,34,45,46,47,48,51,57,62,64,65,66,69,70,71,73,74],[1,2,4,5,6,9,10,12,13,17,19,20,24,25,28,31,32,35,44,45,46,48,52,54,55,57,59,62,63,64,65,66,70],[0,2,3,8,9,10,12,13,14,15,17,20,21,22,24,25,26,27,29,30,31,32,33,36,41,43,44,45,50,56,58,60,61,62,63,66,68,72],[0,1,3,4,5,6,8,14,15,19,21,22,26,27,28,29,30,33,35,36,41,43,44,46,50,52,54,55,56,57,58,59,61,64,65,66,68,71,72,74],[14,67,68,74],[1,3,4,5,6,9,12,13,15,19,20,23,24,25,28,31,32,35,36,37,39,40,42,43,51,52,53,57,59,62,63,65,67,71,74],[0,6,8,9,10,16,19,24,25,37,38,40,47,52,57,64,65,67,72],[0,2,4,6,7,8,13,15,17,20,24,25,26,27,29,31,32,33,34,36,40,43,44,48,49,50,56,59,60,62,63,65,66,67,69,70,72],[1,2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,43,55,59,60,62,64,67,69,70],[10,67,69,70,71,74],[0,3,4,6,9,10,16,18,20,23,24,26,28,29,30,31,34,37,41,44,48,51,52,53,54,56,59,60,62,64,69,73],[3,4,5,6,9,10,14,15,17,20,23,24,25,30,31,32,35,37,40,42,44,45,46,51,52,53,54,59,60,61,62,66,68,71],[1,2,3,12,13,14,15,19,23,28,30,31,37,40,42,51,53,55,57,60,63,64,65,66,69,70,71],[0,1,2,4,8,11,12,20,23,28,29,30,32,33,35,38,40,41,43,44,45,47,49,52,53,54,58,59,63,64,66,67,68],[0,1,4,5,8,9,10,12,14,16,17,19,25,30,31,35,36,37,38,39,40,43,48,52,54,57,60,64,70,71,73,74],[1,2,6,9,10,12,17,19,20,24,25,27,30,31,32,35,39,41,44,46,49,50,52,54,55,56,57,58,59,62,63,64,65,66,68,71,72],[0,4,5,8,9,12,14,19,20,21,22,23,24,25,26,29,31,32,33,37,40,42,44,45,46,49,51,52,53,54,55,60,61,62,63,64,69,70,72,74],[1,3,6,9,12,15,19,20,23,24,25,27,28,30,31,32,35,36,37,40,41,42,43,45,47,49,50,51,53,56,57,58,59,62,63,65,67,68,70,72,74],[18,67,69,70,72,74],[0,1,2,3,4,5,8,9,13,15,17,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,52,54,57,61,62,65,68,70,74],[0,3,6,8,10,12,15,17,21,22,26,29,30,33,35,49,55,57,59,61,63,64,68],[1,4,5,10,12,14,17,19,24,27,28,36,41,43,44,46,49,50,52,54,56,57,58,60,63,65,69,70],[2,6,9,13,14,20,24,25,27,31,32,33,35,36,41,43,45,49,50,55,56,58,59,60,62,64,69,70,71,74],[3,4,7,9,12,13,14,16,18,20,23,26,27,29,30,32,33,34,35,36,38,40,41,42,45,48,49,51,52,53,55,56,57,59,60,61,62,66,67,73,74],[0,2,6,8,12,21,22,23,26,29,30,33,36,37,39,40,42,43,44,45,46,49,51,52,53,54,59,61,63,66,69,72],[1,2,3,4,5,12,14,15,19,23,27,28,37,39,40,41,42,45,49,50,51,53,55,56,57,58,60,64,65,66,68,69,71,74],[54,70,72,74],[0,4,8,12,13,14,15,16,17,18,20,21,22,23,24,25,27,30,32,36,39,41,45,48,51,52,53,54,58,60,61,62,63,65,67,71,72,74],[1,4,5,6,9,12,14,17,19,20,23,24,25,28,30,31,35,36,38,39,40,43,44,52,54,60,62,65,72],[53,68,73,74],[0,4,5,8,9,12,14,20,21,22,23,24,25,26,29,31,32,33,37,38,40,42,44,45,46,49,51,52,53,54,55,60,61,62,63,65,69,70,72,74],[25,67,69,71,73,74],[11,67,69,70,73,74],[0,1,3,4,5,8,9,13,15,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,52,54,57,61,62,64,68,70,72,73,74],[0,69,70,71,73,74],[1,4,5,8,10,12,14,17,19,27,28,36,41,43,44,46,49,50,52,54,56,57,58,60,63,64,67,68,69,70,71,73,74],[0,1,2,3,4,7,8,9,10,12,17,18,19,20,21,23,26,28,29,30,31,32,33,34,37,38,40,41,42,43,44,48,51,53,55,56,62,64,66,68,69,72,73],[3,6,7,9,10,15,16,17,20,21,25,26,27,28,29,32,33,35,37,38,39,40,41,42,43,44,46,50,54,56,58,59,60,61,62,64,66,67,68,70,71],[0,1,2,3,4,5,7,8,9,12,14,17,19,20,21,22,23,24,25,26,29,31,32,33,37,38,43,44,45,49,51,53,54,55,59,61,62,65,67,69,70,71,72],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,54,55,56,58,59,60,62,64,65,66,68,69,70,73,74],[34,64,65,66],[0,2,3,8,9,10,12,13,14,15,17,20,21,22,23,24,25,26,27,29,30,31,32,33,36,41,43,45,50,56,58,60,61,62,63,64,65,66,67,69,71,73,74],[0,1,3,4,5,6,7,8,14,15,19,21,22,26,27,28,29,30,33,35,36,41,43,44,46,50,52,54,55,56,57,58,59,60,61,66,68,71,72,74],[2,4,5,8,9,13,14,20,21,22,23,24,25,26,28,29,30,31,32,33,38,39,42,43,49,51,52,55,59,61,62,67,69,71,74],[40,67,68,70,71,72,73,74],[1,3,5,6,9,11,12,13,14,16,17,18,23,24,26,27,29,30,32,33,34,35,36,45,46,48,49,50,51,52,53,55,56,57,59,60,63,65,67,68,69,71,72,73,74],[2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,43,55,60,62,65,67,69,70,72,73],[37,67,69,70,71,72,73,74],[0,3,4,5,6,8,10,12,13,15,16,17,21,22,26,27,29,33,35,39,41,45,50,55,56,58,59,61,63,65,70,71,73],[0,1,2,3,8,9,15,19,20,22,24,25,26,27,28,29,31,32,33,39,41,44,46,50,52,54,56,57,58,61,62,64,71,73,74],[0,1,5,9,12,13,15,18,20,21,22,23,24,28,29,32,34,44,45,46,48,49,50,51,52,53,54,58,60,61,62,64,65,68,71,72],[1,2,3,12,13,14,15,19,22,23,28,30,37,40,42,51,53,55,57,60,63,66,69,70,71,72,73],[0,2,3,4,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,46,50,51,52,53,54,56,58,59,61,63,64,65,66,67,73,74],[32,67,70,72,73,74],[0,1,3,6,8,13,14,19,21,22,26,28,29,33,35,36,39,43,44,45,46,49,52,54,55,57,59,60,61,65,67,68,69,72,74],[0,2,3,4,6,7,8,9,11,12,13,14,17,19,20,22,24,25,26,27,30,31,32,33,34,35,36,41,43,44,47,48,49,50,53,55,56,59,60,61,62,66,67,70,72],[56,70],[0,1,4,6,7,10,12,14,15,19,21,23,24,25,26,27,28,29,30,31,32,33,35,36,37,40,41,42,45,47,48,50,51,56,57,58,59,61,62,64,65,66,70,71,72],[0,1,2,3,4,5,7,10,13,14,15,23,27,28,32,38,39,41,43,49,50,52,53,54,56,58,63,65,66,68,69,70,71,72],[0,4,5,7,10,12,13,15,19,27,32,37,38,40,41,42,43,45,49,50,52,54,55,56,57,58,60,65,66,67,69,70,71,74],[49,67,68,72],[0,1,2,5,9,10,11,13,15,17,19,20,21,24,25,28,29,31,34,37,38,40,41,42,43,46,47,48,49,50,53,55,58,60,62,68,71,72,73],[2,3,5,6,12,13,19,21,24,25,26,27,29,31,33,35,36,37,38,40,41,42,43,45,47,48,50,52,53,54,56,57,58,59,61,62,63,64,68,71,72,73],[51,68,69,70,71,72],[1,3,4,5,6,7,8,10,12,14,15,21,22,28,29,30,32,33,35,36,37,38,40,41,42,44,46,49,50,56,58,59,61,66,68,70,71],[0,2,5,6,9,10,11,14,15,17,19,20,23,27,33,34,35,36,37,40,42,45,46,50,52,53,54,59,61,64,67,68,70,71,72,73,74],[0,2,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,46,50,51,52,53,54,56,58,59,61,63,65,67,72,73],[39,67,72,73],[26,68,72,73],[0,1,2,3,4,7,8,9,11,12,17,19,20,21,22,23,26,28,29,30,32,34,38,41,44,45,52,53,54,64,66,70,72,74],[5,71,72,73],[0,2,6,8,12,13,21,22,23,26,29,30,33,35,36,37,39,40,42,43,44,45,46,49,51,52,53,54,59,61,63,65,67,68,70,71,73],[0,2,3,11,12,17,18,25,26,27,32,34,45,46,47,48,51,57,62,64,65,69,70,71,73],[44,67,68,69,71,74],[60,67,68,69,70,74],[2,3,10,14,15,17,23,36,37,39,40,42,43,44,45,46,51,52,53,54,55,64,68,70,71,74],[6,10,12,13,14,16,19,20,21,22,23,26,27,29,30,31,32,33,38,39,41,42,44,46,47,50,51,53,54,55,56,57,58,60,61,62,63,65,67,69,70],[1,5,7,10,13,14,15,19,20,21,22,23,24,25,28,30,31,32,34,35,36,37,39,41,42,43,44,45,48,49,51,53,57,58,61,62,63,66,67,70,74],[1,12,13,14,17,19,28,30,36,39,43,44,45,46,52,54,57,60,63,65,70,71],[0,3,4,5,8,10,12,13,15,17,21,22,26,27,29,33,35,39,41,45,50,55,56,58,59,61,63,64,70,71,72],[1,2,4,6,8,10,15,16,18,19,21,22,23,25,27,30,32,33,34,37,39,46,48,50,51,53,57,58,59,60,61,64,65,69,71,72,73,74],[61,68,69,74],[0,2,4,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,50,51,52,53,54,56,58,59,61,63,66,67,72,74],[0,1,8,9,10,12,17,19,20,21,22,23,24,25,26,27,28,29,31,32,33,36,37,40,41,42,43,45,50,51,53,55,56,57,58,61,62,64,65,66,67,70,72],[2,3,4,6,11,12,13,14,15,19,20,21,22,23,26,30,32,36,38,39,40,41,46,47,53,55,57,58,60,61,63,65,69],[1,2,3,15,16,19,20,21,22,24,26,29,30,32,33,35,37,38,40,48,49,52,54,57,61,62,63,64,66,67,68,69,71,73],[4,5,13,27,30,39,41,43,45,49,50,56,58,66,68,70,71,72,74],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,28,29,33,35,36,37,40,42,49,51,53,57,59,60,61,65,68,69,70,71,74],[19,68,70,71,72,74],[2,3,4,5,10,13,15,17,18,23,27,30,36,37,40,41,42,43,44,46,49,50,51,52,53,54,55,56,58,64,68,69,70,74],[24,67,68,71,72,74],[33,67,68,70,72,74],[0,1,3,5,7,8,10,12,14,16,17,18,19,21,22,24,25,27,28,31,34,35,37,38,39,41,43,45,48,52,56,59,60,64,65,68,71,73,74],[35,67,68,69,70,71,72,74],[63,71,72,74],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,56,58,59,60,62,66,68,69],[1,3,4,6,12,16,17,18,19,20,23,24,25,26,27,28,29,30,32,33,35,41,43,44,46,48,49,51,53,55,57,58,59,62,63,65,66,68,69,71,73,74],[0,2,3,4,5,8,9,10,12,14,15,17,21,22,24,25,26,29,31,32,33,36,39,43,49,60,61,62,63,64,65,66,67,68,69,70,72,73,74],[2,4,5,10,14,23,27,32,36,38,40,41,43,46,49,50,55,56,57,58,59,60,63,65,66,68,71,72,73],[4,5,13,27,30,39,41,42,45,49,50,56,58,64,65,66,68,70,71,73,74],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,28,29,33,35,37,40,42,49,51,57,59,60,61,64,69,70,71,72],[38,68,70,71,73,74],[1,3,6,9,12,15,19,20,23,24,27,28,30,31,32,35,36,37,40,41,42,43,45,49,50,51,53,56,57,58,59,62,63,64,68,69,70,71],[2,3,4,5,10,11,13,15,17,23,27,30,36,37,40,41,42,43,44,46,49,50,51,52,53,54,55,56,58,65,68,69,70,74],[3,6,8,10,12,15,17,21,22,26,29,30,33,35,49,55,59,61,63,65,68,69,70,71,72,74],[0,1,3,4,6,7,8,10,12,13,14,17,18,19,21,23,24,25,26,27,28,29,30,33,34,35,36,37,38,40,42,44,45,48,49,50,51,53,58,59,60,64,65,66,67,71,72],[0,1,4,5,8,9,10,13,17,19,20,21,22,23,24,25,26,28,30,31,32,33,36,37,39,40,42,43,49,51,53,55,57,61,62,66,67,68,71,72,73],[0,2,3,7,8,9,10,12,15,16,17,20,22,23,25,27,28,30,32,36,38,41,45,49,50,51,52,53,56,58,60,62,63,65,72,73,74],[0,7,8,9,15,17,20,21,22,24,25,26,27,28,29,31,32,33,38,39,40,41,42,43,44,50,54,56,57,58,59,60,61,62,63,65,66,67,68,70,71,72,73],[34,72,73,74],[1,2,4,5,6,9,10,12,13,17,19,20,24,25,28,31,32,35,44,45,46,52,54,55,57,59,63,66,70,72,73],[7,67,68,69,70,72,73,74],[3,4,5,8,9,10,13,14,15,17,20,21,22,24,25,26,28,29,30,31,32,33,36,37,38,40,44,45,46,49,53,54,59,61,62,65,69,70,72,73,74],[1,3,4,5,6,9,12,13,15,19,20,23,24,25,28,31,32,35,36,37,39,42,43,51,53,57,59,62,63,64,68,70],[0,8,12,13,14,20,21,22,23,24,25,26,27,29,30,31,32,33,37,39,40,41,42,44,46,50,51,52,53,54,55,56,58,60,61,62,63,65,69,70,73],[0,2,3,4,8,9,10,11,12,13,16,18,19,21,22,24,28,32,34,36,37,39,40,41,42,46,48,49,52,55,58,61,63,64,65,67,68,71,72],[1,10,12,13,14,17,19,28,30,36,37,39,43,44,45,46,52,54,57,60,63,64,70,71],[0,1,3,4,6,10,12,13,14,17,18,21,22,25,28,29,30,31,34,35,37,40,42,48,49,50,58,59,61,66,68,69,73,74],[0,1,8,9,10,17,19,20,21,22,23,24,25,26,27,28,29,31,33,36,37,40,41,42,43,45,50,51,53,55,56,57,58,61,62,66,72,74],[15,67],[0,1,2,6,8,10,13,14,17,19,21,22,23,26,27,28,29,33,35,37,40,42,49,51,53,57,59,60,61,64,65,66,69,70,71,72],[1,5,6,7,11,12,14,15,17,21,27,28,29,34,35,36,41,43,45,46,47,48,50,52,53,54,55,56,57,59,60,64,65,67,68,69],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,54,58,59,60,62,64,68,69,70],[0,2,3,5,6,7,10,21,24,25,26,29,30,31,32,33,35,36,39,47,48,49,53,55,59,60,61,62,63,64,66,68,69,70,72,74],[1,3,4,5,6,7,8,10,12,13,14,15,21,22,26,27,28,29,30,32,33,35,36,37,38,40,41,42,44,45,46,50,51,56,58,59,61,64,65,66,68,70,71],[0,4,5,7,10,12,13,15,19,27,32,37,38,40,41,42,43,45,49,50,52,54,55,56,57,58,60,64,65,66,67,69,70,71,74],[2,3,10,15,17,23,36,37,39,40,42,43,44,45,46,49,51,52,53,54,55,66,67,70,71,72,74],[0,1,4,6,10,11,13,14,15,17,19,21,28,29,30,32,34,35,36,37,38,39,40,41,42,46,47,48,49,50,53,58,59,66,68,70,71,72,73,74],[0,1,8,9,10,17,19,20,21,22,23,24,25,26,27,28,29,31,32,33,36,37,40,41,42,43,45,50,51,53,55,56,57,61,62,65,72,74],[0,3,4,8,19,22,23,24,25,31,38,44,45,46,47,48,51,57,62,68,73],[1,2,3,12,13,14,15,19,23,28,30,37,40,42,53,55,57,60,63,65,69,70,71,72,74],[30,65],[1,2,4,5,6,7,8,12,14,17,21,22,23,28,29,30,32,33,35,38,39,41,43,45,49,50,51,52,53,54,55,56,58,59,61,64,65,74],[2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,41,43,55,59,60,62,64,65,66,70,74],[1,2,5,6,8,11,14,15,21,22,24,25,26,28,29,31,32,34,35,41,43,46,51,52,54,55,56,57,58,59,62,67,68,70,71,73],[4,67,71,73],[1,2,3,12,13,14,15,19,23,28,30,37,40,42,45,51,53,55,57,60,63,64,68,74],[0,1,3,6,8,13,14,15,19,21,22,26,28,29,33,35,36,43,44,45,46,49,52,54,55,57,59,60,61,64,67,68,69,73,74],[0,1,2,6,8,10,13,14,17,19,21,22,23,28,29,33,35,37,40,42,49,51,53,57,59,60,61,66,68,69,70,71,73],[0,1,2,3,4,5,8,9,13,15,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,50,52,54,57,61,62,66,68,69,70,72],[0,1,2,4,6,7,8,10,11,12,13,14,15,19,21,22,24,25,26,27,28,29,30,31,34,35,37,38,39,40,42,45,46,49,50,51,56,58,59,60,62,64,65,66,68,69,70,72,74],[1,2,3,4,12,14,15,19,23,27,28,37,39,40,41,42,45,49,50,51,53,55,56,57,58,60,63,64,68,69,72,73,74],[13,67,68,69,70,71,72,73],[0,2,3,11,12,17,18,25,26,27,32,34,45,46,47,48,51,57,62,64,65,66,69,70,71,73],[1,2,4,5,6,9,10,12,13,17,19,20,24,25,28,31,32,35,44,45,46,48,52,54,55,57,59,62,63,64,65,66,71,74],[0,2,3,8,9,10,12,13,14,15,17,20,21,22,24,25,26,27,29,30,31,32,33,36,41,43,44,45,50,56,58,60,61,62,63,66,67,69,71,72,74],[0,1,3,4,5,6,8,14,15,19,21,22,26,27,28,29,30,33,35,36,41,43,44,46,50,52,54,55,56,57,58,59,61,64,65,66,67,69,70,71,72],[1,3,4,5,6,9,12,13,15,19,20,23,24,25,28,31,32,35,36,37,39,40,42,43,51,52,53,57,59,62,63,65,68,70],[0,6,8,9,10,16,19,24,25,37,38,40,47,52,57,64,65,67,69,71,72,74],[0,2,4,6,7,8,13,15,17,20,24,25,26,27,29,31,32,33,34,36,40,43,44,48,49,50,56,59,60,62,63,65,66,67,72,74],[1,2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,43,55,59,60,62,64,70,74],[6,68,71,74],[0,3,4,6,9,10,16,18,20,23,24,26,28,29,30,31,34,37,41,44,48,51,52,53,54,56,59,60,62,64,68,69,70,73,74],[3,4,5,6,9,10,14,15,17,20,23,24,25,30,31,32,35,37,40,42,44,45,46,51,52,53,54,59,60,61,62,66,69,71,74],[1,2,3,12,13,14,15,19,23,28,30,31,37,40,42,51,53,55,57,60,63,64,65,66,68,74],[46,67,71,74],[12,67,70,74],[0,1,2,4,8,11,12,20,23,28,29,30,32,33,35,38,40,41,43,44,45,47,49,52,53,54,58,59,63,64,66,68,72,74],[0,1,4,5,8,9,10,12,14,16,17,19,25,30,31,35,36,37,38,39,40,43,48,52,54,57,60,64,67,72,73],[1,2,6,9,10,12,17,19,20,24,25,27,30,31,32,35,39,41,44,46,49,50,52,54,55,56,57,58,59,62,63,64,65,66,69,74],[43,68,69,70,72,74],[36,68,72,74],[0,4,5,8,9,12,14,19,20,21,22,23,24,25,26,29,31,32,33,37,40,42,44,45,46,49,51,52,53,54,55,60,61,62,63,64,68,69,71],[1,3,6,9,12,15,19,20,23,24,25,27,28,30,31,32,35,36,37,40,41,42,43,45,47,49,50,51,53,56,57,58,59,62,63,65,68,69,70,71],[0,1,2,3,4,5,8,9,13,15,17,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,52,54,57,61,62,65,68,69,70,72],[0,3,6,8,10,12,15,17,21,22,26,29,30,33,35,49,55,57,59,61,63,64,68,69,70,71,72,74],[1,4,5,10,12,14,17,19,24,27,28,36,41,43,44,46,49,50,52,54,56,57,58,60,63,65,67,68,69,70,71,72,74],[2,6,9,13,14,20,24,25,27,31,32,33,35,36,41,43,45,49,50,55,56,58,59,60,62,64,67,68,69,71,72],[3,4,7,9,12,13,14,16,18,20,23,26,27,29,30,32,33,34,35,36,38,40,41,42,45,48,49,51,52,53,55,56,57,59,60,61,62,66,68,69,72,73],[0,2,6,8,12,21,22,23,26,29,30,33,36,37,39,40,42,43,44,45,46,49,51,52,53,54,59,61,63,66,67,68,70,71,74],[1,2,3,4,5,12,14,15,19,23,27,28,37,39,40,41,42,45,49,50,51,53,55,56,57,58,60,64,65,66,68,69,72],[0,4,8,12,13,14,15,16,17,18,20,21,22,23,24,25,27,30,32,36,39,41,45,48,51,52,53,54,58,60,61,62,63,65,71,72,73],[20,67,70,71,73,74],[1,4,5,6,9,12,14,17,19,20,23,24,25,28,30,31,35,36,38,39,40,43,44,52,54,60,62,65,68,69,71,72,73,74],[42,68,69,70,73,74],[0,4,5,8,9,12,14,20,21,22,23,24,25,26,29,31,32,33,37,38,40,42,44,45,46,49,51,52,53,54,55,60,61,62,63,65,68,69,71,72,73],[0,1,3,4,5,8,9,13,15,19,20,21,22,24,25,26,28,29,30,31,32,33,44,45,46,49,52,54,57,61,62,64,68,69,70,72],[1,4,5,8,10,12,14,17,19,27,28,36,41,43,44,46,49,50,52,54,56,57,58,60,63,64,69,70],[0,1,2,3,4,7,8,9,10,12,17,18,19,20,21,23,26,28,29,30,31,32,33,34,37,38,40,41,42,43,44,48,51,53,55,56,62,64,66,67,69,70,72,74],[29,67,68,69,73,74],[3,6,7,9,10,15,16,17,20,21,25,26,27,28,29,32,33,35,37,38,39,40,41,42,43,44,46,50,54,56,58,59,60,61,62,64,66,69,73,74],[0,1,2,3,4,5,7,8,9,12,14,17,19,20,21,22,23,24,25,26,29,31,32,33,37,38,43,44,45,49,51,53,54,55,59,61,62,65,67,69,70,72,73,74],[3,6,9,10,13,14,15,17,20,23,24,25,27,31,32,35,37,39,40,41,42,44,46,49,50,51,52,53,54,55,56,58,59,60,62,64,65,66,68,69],[34,64,65,66,72,73,74],[62,70,71,72,73,74],[0,2,3,8,9,10,12,13,14,15,17,20,21,22,23,24,25,26,27,29,30,31,32,33,36,41,43,45,50,56,58,60,61,62,63,64,65,66,68,72],[0,1,3,4,5,6,7,8,14,15,19,21,22,26,27,28,29,30,33,35,36,41,43,44,46,50,52,54,55,56,57,58,59,60,61,66,67,69,70,71,73],[2,4,5,8,9,13,14,20,21,22,23,24,25,26,28,29,30,31,32,33,38,39,42,43,49,51,52,55,59,61,62,68,69,71,72,73],[9,69,71,72,73,74],[1,3,5,6,9,11,12,13,14,16,17,18,23,24,26,27,29,30,32,33,34,35,36,45,46,48,49,50,51,52,53,55,56,57,59,60,63,65,67,68,70,71],[2,4,5,6,9,14,20,24,25,30,31,32,35,36,39,43,55,60,62,65,70,74],[0,3,4,5,6,8,10,12,13,15,16,17,21,22,26,27,29,33,35,39,41,45,50,55,56,58,59,61,63,65,68,70,72,74],[0,1,2,3,8,9,15,19,20,22,24,25,26,27,28,29,31,32,33,39,41,44,46,50,52,54,56,57,58,61,62,64,68,70,71,72],[0,1,5,9,12,13,15,18,20,21,22,23,24,28,29,32,34,44,45,46,48,49,50,51,52,53,54,58,60,61,62,64,65,69,71,73,74],[1,2,3,12,13,14,15,19,22,23,28,30,37,40,42,51,53,55,57,60,63,66,68,74],[0,2,3,4,5,6,8,12,13,21,22,23,26,27,29,33,35,36,37,40,41,42,43,44,46,50,51,52,53,54,56,58,59,61,63,64,65,66,71,72]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,21,130],"A_d":1736,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,1],[40,1],[41,1],[42,1],[43,1],[44,1],[45,1],[46,1],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[62,1],[63,1],[72,2]],"CZ":[[0,72],[0,73],[1,72],[1,73],[3,72],[3,73],[6,72],[6,73],[8,72],[8,73],[13,72],[13,73],[14,72],[14,73],[15,72],[15,73],[19,72],[19,73],[21,72],[21,73],[22,72],[22,73],[26,72],[26,73],[28,72],[28,73],[29,72],[29,73],[33,72],[33,73],[35,72],[35,73],[36,72],[36,73],[39,72],[39,73],[43,72],[43,73],[44,72],[44,73],[45,72],[45,73],[46,72],[46,73],[49,72],[49,73],[52,72],[52,73],[54,72],[54,73],[55,72],[55,73],[57,72],[57,73],[59,72],[59,73],[60,72],[60,73],[61,72],[61,73],[64,67],[64,73],[65,67],[65,73],[68,72],[68,73],[69,72],[69,73],[72,73],[72,74],[73,74]]},"rotation_powers":[[0,5],[1,5],[2,5],[3,5],[4,5],[6,3],[10,7],[13,5],[17,5],[18,3],[19,5],[20,5],[25,3],[26,3],[27,3],[29,3],[30,5],[31,3],[32,3],[34,7],[36,5],[38,5],[42,7],[43,5],[44,7],[46,5],[47,5],[48,7],[49,5],[50,7],[51,5],[52,7],[53,7],[55,3],[57,3],[58,5],[60,5],[63,5],[67,3],[71,3],[72,3],[73,7],[74,7],[75,5],[77,3],[78,3],[79,3],[82,3],[84,3],[87,3],[88,3],[90,3],[91,3],[92,7],[93,3],[94,3],[97,3],[99,3],[103,3],[104,3],[106,3],[107,3],[108,3],[109,3],[111,3],[114,3],[115,3],[116,3],[119,3],[120,3],[129,3],[130,3],[131,3],[133,3],[134,3],[135,3],[138,3],[140,3],[144,3],[146,3],[147,3],[149,3],[150,7],[151,7],[154,3],[157,3],[158,3],[161,3],[163,3],[167,3],[168,3],[169,3],[175,3],[179,3],[181,3],[184,3],[187,3],[189,3],[191,3],[192,3],[194,3],[199,3],[204,3],[205,3],[206,3],[207,3],[208,3],[210,3],[216,3],[217,3],[221,3],[222,3],[224,3],[226,3],[228,3],[231,3],[238,3],[240,3],[242,3],[244,3],[249,3],[257,3],[258,3],[262,3],[267,3],[268,3],[269,3],[270,3],[275,3],[281,3],[284,3],[285,3],[286,3]]},"metrics":{"gamma":1.3690702464285425,"gamma_t":null,"gamma_rho":1.3690702464285425,"gamma_claim":1.3690702464285425,"gamma_t_claim":null,"gamma_rho_claim":1.3690702464285425,"v_ex":64,"rate":0.2222222222222222,"t_count":null,"poly_degree":null,"effective_width":64},"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/restricted_light_288_64_3.json","label":"restricted_light_288_64_3","N":75,"d":3,"d_is_exact":true,"origin":"Wills-derived restricted-light construction","provenance":"gamma frontier release record restricted_light_288_64_3 (source catalogue id restricted_light_288_64_3); construction: Wills-derived restricted-light construction; matrix c0079d836aad303e...; the release states d=3 (exact), gamma=1.3690702464285425 (exact)","notes":"matrix gamma_frontier_release/matrices/c0079d836aad303e57fa0e6385e7922d252cda7e09192cdcb7dbc6ae4914e6c0.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"}]}