{"id":"300.68.3.a","row":953,"stored":{"file":"master_catalog.json","row":953,"construction":null,"columns_sha256":null},"parameters":{"n":300,"k":68,"d":3,"N":79,"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+64+65+66+67","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\u00b7T64\u00b7T65\u00b7T66\u00b7T67","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],[64],[65],[66],[67]],"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],[64],[65],[66],[67]],"sk_fingerprint":"53b9b90fbb67bbdd","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[2,3,4,6,7,9,13,19,21,25,27,30,32,33,35,38,41,43,46,48,52,53,54,55,57,58,59,60,61,62,63,68,71,77,78],[0,2,4,5,6,9,10,11,13,16,17,21,22,23,24,25,26,29,30,33,34,40,48,49,50,52,54,55,58,62,63,64,65,66,67,70,72,73,76,78],[0,4,8,9,15,16,19,21,22,24,25,27,28,30,31,32,33,35,37,38,39,40,41,42,46,48,49,50,51,53,54,55,58,59,61,62,67,68,69,70,73,75,78],[1,2,4,5,6,10,13,16,20,21,22,24,26,27,29,30,31,33,36,39,40,41,45,46,47,51,54,55,57,60,62,63,64,66,67,69,70,76,77],[0,3,4,6,8,10,13,20,21,28,29,30,32,35,38,42,43,46,47,49,52,53,54,55,56,62,63,65,66,69,71,72,73,74,75,77,78],[0,1,3,4,7,10,13,15,18,21,26,29,30,31,33,36,37,41,42,43,45,46,47,48,49,52,54,55,57,60,62,64,66,71,72,74,76],[1,2,4,5,7,10,12,13,15,16,18,19,21,27,29,30,33,34,36,37,38,40,41,42,44,45,46,47,48,49,53,54,55,58,60,62,67,68,69,70,71,74,77],[0,2,3,6,7,8,13,15,16,22,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,68,69,70,75,77],[0,1,2,3,5,6,11,12,13,15,16,18,19,20,27,28,31,32,33,34,35,36,37,40,41,43,44,48,52,56,58,59,63,65,67,68,70,72,73,76,78],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,48,50,52,53,57,59,63,64,65,68,71,72,75,77,78],[0,1,3,4,6,7,10,11,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,57,58,60,62,63,66,69,71,72,74],[28,77],[1,7,8,12,13,18,19,22,27,28,32,33,34,35,36,41,42,44,45,49,50,51,56,58,60,65,66,68,69,72,73,74,78],[0,2,3,6,7,8,15,16,22,24,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,70,71,73,75],[0,1,6,9,11,12,15,17,19,22,23,25,26,28,36,37,38,41,42,44,46,47,52,53,57,59,60,63,64,65,66,68,71,73,74,76,77,78],[59,71,75,77],[2,6,7,8,10,11,13,15,17,18,19,20,23,24,26,29,31,32,34,35,37,38,39,41,42,46,51,52,53,57,61,63,64,65,66,68,71,74,75,76,77],[2,6,7,10,11,15,17,19,20,23,26,28,29,31,32,34,35,37,38,41,42,44,45,46,51,52,53,57,60,61,63,64,65,69,74,75],[2,3,4,6,8,9,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,48,50,52,53,54,55,57,58,59,61,62,63,66,68,72,73,75,76,78],[1,4,8,15,16,17,19,20,21,22,23,24,27,28,30,32,33,34,35,36,37,38,39,40,42,45,47,48,50,52,53,54,55,61,62,65,67,69,70,74],[1,4,6,7,11,12,13,16,17,18,20,21,23,26,27,28,30,32,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,70,71,72,73],[0,9,12,17,19,22,23,25,32,33,35,42,45,46,47,52,56,57,66,68,74,75,76],[60,71,72,74,76,77],[44,71,72,75,76,77],[0,4,7,8,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,49,51,53,54,55,58,59,60,61,62,66,67,68,69,70,71,72,73,74,75,78],[36,70],[41,74,75,78],[3,4,7,9,10,11,13,15,17,20,21,22,23,25,26,27,28,29,30,31,33,34,37,39,42,43,44,45,48,51,54,55,58,59,62,64,65,70,74,75,77,78],[19,71,72,73,74,78],[2,3,4,5,7,8,9,12,13,14,15,16,18,20,21,22,23,26,27,28,31,33,35,37,40,43,45,46,49,50,51,52,55,57,59,60,63,69,75,76,77,78],[1,2,4,8,10,12,15,16,19,21,24,27,28,29,30,33,34,36,37,38,39,40,41,42,46,47,48,49,50,53,54,55,58,62,66,68,71,73,76,77],[1,2,6,16,17,19,20,21,22,23,24,27,28,29,33,34,36,37,39,40,41,42,45,46,47,50,54,55,61,66,67,69,70,71,72],[0,3,4,5,8,11,13,17,19,21,23,25,27,31,34,35,36,40,41,43,44,45,46,47,49,50,51,53,54,57,59,61,64,65,66,69,70,75,76,78],[0,2,3,6,7,8,13,15,16,22,24,28,31,37,40,42,43,45,46,49,50,51,52,57,60,63,67,69,71,73,75,77,78],[0,71,73,74,75,78],[2,4,6,8,9,10,11,16,19,20,21,23,25,26,27,30,35,36,41,44,45,46,47,48,50,52,54,55,57,58,59,60,61,62,63,64,65,66,67,68,69,71,72,76,78],[61,72,74,78],[1,2,3,4,7,8,9,10,12,14,16,17,20,22,24,25,28,29,34,35,36,37,40,42,44,47,48,57,59,60,62,63,65,68,70,71,72,73,75,77],[2,7,8,11,15,16,18,22,23,26,27,30,31,32,33,35,36,37,38,40,42,43,45,47,50,53,54,55,56,57,60,64,65,68,70,71,72,75,77,78],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,59,64,65,70,72,76,77,78],[53,71,74,78],[2,3,4,6,7,9,13,17,19,21,25,27,30,32,33,35,38,39,41,43,46,48,52,53,54,55,57,58,59,60,61,62,63,70,77,78],[47,71,74,75,76,78],[40,72,73,75,76,78],[2,6,7,8,10,11,13,15,17,18,19,20,23,24,26,31,32,34,35,37,38,39,41,42,46,50,51,52,53,57,61,63,64,65,66,68,69,70,71,72,73,75],[1,3,6,9,10,12,15,16,18,25,29,32,34,35,36,37,38,39,40,42,43,44,45,47,49,52,57,59,61,63,67,69,74],[37,72,74,75,76,78],[14,71,73,74,76,78],[34,73,76,78],[0,4,7,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,51,53,54,55,58,59,60,61,62,66,67,68,71,72,73,74,75,78],[0,3,7,8,10,11,13,16,17,19,20,22,23,24,26,29,32,34,38,40,41,43,44,46,49,50,53,61,64,65,67,69,74,77],[0,1,2,3,4,5,6,7,8,9,11,12,16,17,19,23,24,27,30,31,32,33,35,36,38,39,40,41,43,45,47,49,50,51,52,55,56,60,63,64,65,66,67,68,70,72,73,74],[0,1,2,9,10,12,22,25,29,30,31,32,34,35,36,45,47,51,59,61,66,68,69,70,71,73,75,76,77,78],[0,1,2,3,4,8,11,12,15,17,18,20,21,22,23,24,26,27,30,32,33,35,36,37,42,45,47,48,50,54,55,58,60,61,62,64,65,70,72,75,78],[0,5,7,11,13,14,16,18,19,20,22,23,24,25,27,29,30,31,32,37,38,41,42,43,44,46,48,49,53,54,60,61,62,64,67,69,72,74,75,76,78],[55,71,77,78],[2,3,6,8,9,18,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,48,50,52,53,54,55,57,58,59,61,62,63,66,70,72,73,75],[2,5,8,10,14,15,17,22,30,35,46,48,50,53,54,58,62,65,67,68,69,70,71,75,76],[2,6,7,8,10,11,13,15,16,17,18,19,20,23,24,26,29,31,32,34,35,37,38,39,41,42,46,50,51,52,53,57,61,63,64,65,66,70,71,74,75,77,78],[1,3,6,9,10,12,15,16,18,25,29,32,34,35,36,37,39,40,42,43,44,45,47,49,51,52,57,59,61,63,67,68,72,74,76,78],[58,72,74,75,77,78],[1,4,6,7,11,12,13,16,17,18,20,21,23,26,27,28,30,31,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,68,72,75,76,77],[1,4,6,8,11,12,16,17,20,21,23,24,26,27,30,31,32,33,35,36,39,40,44,45,47,48,49,50,51,52,54,55,56,57,58,60,61,62,63,64,65,66,67,69,71,73,74,75,76,77],[0,4,8,9,16,19,21,22,24,25,27,28,30,31,32,33,35,37,38,39,40,41,42,45,46,48,49,50,51,53,54,55,58,59,61,62,67,68,75,78],[5,6,10,14,15,16,17,19,24,26,29,30,31,33,35,37,40,41,42,43,44,45,46,47,48,51,52,53,55,57,58,60,61,63,65,69,70,71,73,74,75,76,77],[0,2,3,4,6,7,10,11,15,16,20,23,24,28,29,31,32,37,38,40,42,45,46,51,52,53,54,57,60,62,63,65,66,68,69,73,74,75,76,77],[0,1,2,10,12,22,25,29,31,32,34,35,36,45,47,51,59,61,66,70,71,73,75,76,77,78],[0,2,6,7,8,11,13,15,18,24,25,26,27,29,37,38,40,45,46,50,52,53,63,64,66,68,69,71,72,74,78],[2,74,77,78],[54,68,69,70],[2,3,5,6,8,9,11,13,14,16,17,18,19,20,21,23,25,27,31,33,34,35,36,37,40,41,42,43,44,45,46,47,51,53,54,59,64,66,67,68,69,72,73,78],[3,4,7,9,10,11,13,15,17,20,21,23,25,27,28,29,30,31,33,34,37,39,42,43,44,45,48,51,54,55,58,59,62,64,65,68,69,70,71,72,73,74,76],[3,4,6,8,9,10,11,15,17,18,20,21,23,24,25,26,27,29,30,31,33,34,37,42,43,48,50,51,54,55,58,59,60,62,64,65,66,70,71,72,73,75,77,78],[1,2,4,7,10,12,13,15,16,18,19,21,27,29,30,33,34,36,37,38,40,41,42,44,45,46,47,48,49,52,53,54,55,58,60,62,67,68,71,74,78],[0,2,3,6,7,8,10,13,15,16,17,19,20,25,27,28,29,31,32,36,37,41,42,43,47,49,50,56,58,59,60,63,67,68,69,73,76],[1,2,3,7,8,9,10,11,12,13,16,17,19,20,23,24,25,26,31,36,38,40,41,43,44,45,46,47,49,50,51,53,59,64,65,66,67,69,71,73,74,75,76,78],[0,2,6,7,8,13,15,16,22,24,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,68,71,73,75,76,78],[0,2,4,5,6,9,11,14,15,16,19,20,21,23,24,25,27,28,31,33,35,37,39,40,42,43,44,49,51,53,55,59,67,71,72,73,74,75,78],[0,2,4,6,8,9,10,11,16,17,20,21,22,23,24,25,26,27,29,30,33,34,39,40,44,48,49,50,52,54,55,57,58,59,60,63,64,65,67,68,74,78],[0,3,6,9,10,11,17,20,21,23,25,27,30,31,34,35,36,37,40,41,42,43,46,48,50,51,54,58,59,60,65,68,70,71,72,73,75,76,77],[1,72,73,76,77,78],[0,1,3,4,6,7,10,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,57,58,60,62,63,65,66,70,71,72,74,77,78],[12,71,75,76,77,78],[39,71],[0,1,2,3,4,5,11,12,13,15,17,18,21,22,23,24,26,30,32,33,35,36,37,39,42,43,44,45,47,48,50,54,55,57,58,59,61,62,64,65,66,68,69,73,74],[45,73],[0,3,5,6,7,10,11,12,15,16,17,23,24,28,29,31,32,35,37,40,41,42,43,44,45,46,48,51,57,58,60,61,63,65,67,70,71,73,74,77],[1,2,6,10,11,12,13,15,17,18,22,23,24,26,27,28,29,33,36,37,38,45,46,48,49,50,52,53,56,58,60,61,63,64,66,68,69,71,73,74,75,76,77,78],[2,3,4,7,9,12,13,15,18,21,22,25,26,30,32,33,34,35,37,41,42,43,46,48,49,51,52,54,55,57,59,60,61,62,64,69,72,73,74,75,77,78],[66,68],[5,71,72,76],[2,3,5,9,13,16,17,18,22,23,25,26,27,31,32,33,34,35,38,40,42,43,46,47,48,53,56,57,58,60,64,66,67,68,69,70,71,72,74,77],[48,71,75,76],[11,72,73,74,75,76],[28,69,77],[2,4,8,10,15,16,21,22,28,29,30,32,35,37,38,40,46,47,48,50,51,53,54,55,56,62,65,66,67,68,69,70,73,76,77,78],[13,71,73,77],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,63,64,65,69,71,72,75,76,78],[0,1,3,4,6,7,10,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,58,60,62,63,66,68,71,73,75,76],[50,72,73,74,76,77],[18,71,74,75,76,77],[6,11,12,15,19,22,26,28,31,34,37,38,42,44,49,51,53,57,58,60,63,64,66,68,71,73,75,76,77],[31,71,73,75,76,77],[0,1,3,6,7,8,10,13,15,16,17,19,22,23,24,28,29,33,34,36,37,40,43,45,46,49,50,56,59,60,61,63,67,69,70,71,73,74,75,78],[0,3,10,11,16,17,18,19,20,22,23,26,28,29,32,34,35,38,39,40,41,43,45,46,49,53,61,64,65,66,67,68,69,70,73,74,76],[0,3,7,8,10,11,13,16,17,19,20,22,23,24,26,29,32,34,35,38,40,41,43,46,49,50,53,61,64,65,67,70,71,72,74,75,76],[0,1,2,7,8,9,10,12,13,18,22,24,25,27,28,29,31,32,34,35,36,39,44,47,50,51,59,60,61,69,72,74,75,76,77,78],[7,8,13,18,24,28,39,41,44,45,50,60,66,68,69,70,71,72,73,75,78],[3,4,8,9,10,11,15,17,18,19,20,21,23,24,25,26,27,29,30,31,33,34,37,42,43,48,50,51,54,55,58,59,60,62,64,65,66,68,69,70,74,75,77],[1,3,5,8,9,10,14,19,20,22,23,26,28,29,30,31,34,35,36,38,41,42,43,44,47,48,50,51,52,53,54,57,58,59,62,63,67,72,74,75,78],[3,6,9,11,12,18,21,22,24,25,26,27,29,31,33,34,37,38,42,43,45,49,50,51,53,54,55,59,60,61,64,65,66,70,71,75,76,78],[0,1,2,4,5,7,9,12,16,20,21,24,26,27,34,35,38,54,57,61,67,68,69,70,71,73,74],[46,71,73,78],[2,3,6,15,16,18,22,31,37,39,40,42,43,44,49,51,52,57,63,66,67,68,72,77,78],[0,17,19,22,24,29,33,34,35,36,39,40,41,45,46,47,49,61,66,68,71,72,74,76],[0,2,4,6,7,9,10,11,13,16,17,18,20,21,22,23,25,26,27,28,29,30,33,34,40,45,48,49,52,54,55,57,58,59,61,62,63,64,65,66,67,68,71,73,74],[0,2,6,7,9,14,16,17,18,19,20,21,25,27,30,31,33,35,37,38,40,41,42,43,46,50,51,52,53,54,55,58,59,60,65,68,71,73,74,76,77],[0,1,2,3,4,6,8,10,11,12,13,15,16,18,19,21,23,26,29,32,34,35,37,39,40,41,42,46,48,50,51,52,56,58,62,63,64,65,66,69,72,73,76,77,78],[0,1,6,9,11,12,15,17,19,20,22,23,25,26,28,36,37,38,41,42,44,46,47,52,57,59,60,63,64,65,66,68,69,70,73,76,77],[2,3,4,6,8,9,18,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,47,48,50,52,53,54,55,57,58,59,61,62,63,66,68,69,70,72,73,75,76,77],[2,6,10,11,15,17,19,20,23,26,28,29,31,32,34,35,37,38,40,41,42,44,45,46,51,52,53,57,60,61,63,64,65,70,72,73,74,76,78],[38,72,76,78],[1,3,6,7,8,9,10,12,13,15,16,24,25,28,29,32,34,35,36,40,42,43,47,49,50,52,57,59,60,61,63,66,67,68,71,72,73,74,75],[1,4,6,7,11,12,13,16,17,18,20,23,26,27,28,30,31,32,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,69,72,75,76,77],[1,4,6,8,11,12,14,16,17,20,21,23,24,26,27,30,31,32,33,35,36,39,40,44,45,47,48,49,50,51,52,54,55,57,58,60,61,62,63,64,65,66,67,68,75,77,78],[0,4,8,9,15,16,19,21,22,24,25,27,28,30,31,32,33,34,35,37,38,39,40,41,42,45,46,48,49,50,51,53,54,55,58,59,61,62,67,69,73,75,76],[0,3,10,11,16,17,18,19,20,22,23,26,28,29,32,33,34,35,38,39,40,41,43,45,46,49,53,60,61,64,65,66,67,68,71,72,73,77],[3,4,5,6,10,11,13,16,17,18,19,22,23,25,27,28,29,30,33,34,38,40,41,43,44,45,49,52,55,56,59,61,63,64,65,66,67,68,73,75,76,77,78],[43,75,76,78],[1,2,3,4,5,12,14,15,16,17,18,19,21,24,25,26,28,29,31,33,35,36,38,39,41,46,47,49,53,55,58,60,65,66,67,68,70,71,72,73,75,78],[2,3,4,6,7,9,13,19,21,25,27,30,32,33,35,38,39,41,43,46,48,52,53,54,57,58,59,60,61,62,63,68,69,70,71],[4,71,74,75,77,78],[5,6,8,11,14,19,20,22,23,26,28,29,30,31,32,34,37,38,41,42,44,45,48,50,51,52,54,57,58,60,61,62,63,64,67,71,74,76],[16,72,73,74,77,78],[1,3,6,7,8,9,10,12,13,15,16,24,25,28,29,32,34,35,36,37,40,42,43,47,49,50,52,57,58,59,60,61,63,66,67,69,71,72,73,74,75,76,77],[0,4,7,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,49,51,53,54,55,58,59,60,61,62,64,66,67,69,71,72,73,74,75,78],[0,3,5,6,7,8,11,13,14,15,20,22,23,30,31,32,33,34,37,38,42,45,47,48,49,50,51,52,55,57,58,60,63,64,67,68,69,70,71,73,75,76],[2,4,6,7,15,17,18,19,22,24,26,31,34,35,37,39,41,42,43,49,51,52,54,57,61,62,63,64,67,68,71,72,74,75,76],[0,1,2,7,8,9,10,12,13,18,22,23,24,25,28,29,31,32,34,35,36,39,44,47,50,51,59,60,61,68,69,70,72,74,75,76,77,78],[1,3,4,6,7,12,13,17,20,21,22,23,25,29,30,32,33,35,36,38,40,42,43,46,47,48,52,53,54,55,58,60,61,62,63,65,66,70,71,74,76,78],[0,1,3,4,7,11,12,13,15,17,20,21,22,23,26,27,28,30,32,33,35,36,37,39,42,43,44,47,48,54,55,58,61,62,64,65,66,70,71,73,76,77,78],[2,3,5,6,7,9,11,14,16,17,19,20,21,23,24,25,27,28,31,33,34,35,36,37,39,40,41,42,43,46,47,50,51,53,54,59,60,64,67,68,69,70,71,74,78],[26,71,72,73,75,76,77,78],[52,71,72,76,77,78],[1,2,4,8,10,12,15,16,19,21,24,25,27,28,29,30,33,34,36,37,38,39,40,41,42,46,47,48,49,50,53,54,55,58,62,66,67,69,71,73,76,77],[0,1,6,7,8,9,10,11,12,13,15,18,23,26,27,29,32,37,38,39,40,42,46,50,51,53,56,58,63,64,65,69,72,73,75,78],[3,71,73,76,77,78],[3,4,5,9,11,14,18,19,20,21,22,23,24,25,27,28,33,35,52,53,55,57,59,63,66,69,77,78],[2,3,4,7,13,16,18,22,26,28,29,31,33,35,36,37,41,42,43,45,46,49,50,51,52,55,57,60,62,63,64,66,67,68,69,70,75,76,77,78],[0,3,4,6,8,10,12,18,19,21,22,24,27,28,29,30,31,33,34,36,38,41,43,44,46,47,48,50,51,52,53,54,55,57,58,62,63,68,69,70,73,74,75,77,78],[65,72,73,74,75,76,77,78],[0,1,6,7,8,9,11,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,59,63,64,65,68,69,70,71,72,75],[0,1,6,9,11,12,15,17,19,20,22,23,25,26,28,36,37,38,41,44,46,47,52,53,57,59,60,63,64,65,66,70,71,73,74,76,77,78],[2,3,4,6,7,9,13,19,21,25,27,30,32,33,35,38,41,43,46,48,52,53,54,55,57,58,59,60,61,62,63,68,77,78],[0,2,4,5,6,9,10,11,13,16,17,21,22,23,24,25,26,29,30,33,34,40,48,49,50,52,54,55,58,62,63,64,65,66,67,70,73,76,78],[0,4,8,9,15,16,19,21,22,24,25,27,28,30,31,32,33,35,37,38,39,40,41,42,46,48,49,50,51,53,54,55,58,59,61,62,67,68,69,70,75,78],[1,2,4,5,6,10,13,16,20,21,22,24,26,27,29,30,31,33,36,39,40,41,45,46,47,51,54,55,57,60,62,63,64,66,67,69,70,74,76,77],[0,3,4,6,8,10,13,20,21,28,29,30,32,35,38,42,43,46,47,49,52,53,54,55,56,62,63,65,66,69,71,72,73,74,77,78],[0,1,3,4,7,10,13,15,18,21,26,29,30,31,33,36,37,41,42,43,45,46,47,48,49,52,54,55,57,60,62,64,66,73,75,76],[66,76],[1,2,4,5,7,10,12,13,15,16,18,19,21,27,29,30,33,34,36,37,38,40,41,42,44,45,46,47,48,49,53,54,55,58,60,62,67,68,69,70,72,74,76,77],[0,2,3,6,7,8,13,15,16,22,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,68,69,70,71,73,75,76,77],[0,1,2,3,5,6,11,12,13,15,16,18,19,20,27,28,31,32,33,34,35,36,37,40,41,43,44,48,52,56,58,59,63,65,67,68,70,71,72,73,74,78],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,48,50,52,53,57,59,63,64,65,68,72,76,77,78],[0,1,3,4,6,7,10,11,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,57,58,60,62,63,66,69,71,73,75,76],[1,7,8,12,13,18,19,22,27,28,32,33,34,35,36,41,42,44,45,49,50,51,56,58,60,65,66,68,69,71,73,74,77,78],[0,2,3,6,7,8,15,16,22,24,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,70,75,77],[0,1,6,9,11,12,15,17,19,22,23,25,26,28,36,37,38,41,42,44,46,47,52,53,57,59,60,63,64,65,66,68,73,76,78],[57,72,73,74,75,77],[2,6,7,8,10,11,13,15,17,18,19,20,23,24,26,29,31,32,34,35,37,38,39,41,42,46,51,52,53,57,61,63,64,65,66,68,71,72,73,75],[2,6,7,10,11,15,17,19,20,23,26,28,29,31,32,34,35,37,38,41,42,44,45,46,51,52,53,57,60,61,63,64,65,69,72,73,74,76,77],[2,3,4,6,8,9,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,48,50,52,53,54,55,57,58,59,61,62,63,66,68,71,72,73,74,77,78],[1,4,8,15,16,17,19,20,21,22,23,24,27,28,30,32,33,34,35,36,37,38,39,40,42,45,47,48,50,52,53,54,55,61,62,65,67,69,70,71,73,76,77],[1,4,6,7,11,12,13,16,17,18,20,21,23,26,27,28,30,32,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,70,72,75,76,77],[0,9,12,17,19,22,23,25,32,33,35,42,45,46,47,52,56,57,66,68,72,77],[0,4,7,8,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,49,51,53,54,55,58,59,60,61,62,66,67,68,69,70,71,72,76,77,78],[27,71,72,73,76,77],[36,70,78],[3,4,7,9,10,11,13,15,17,20,21,22,23,25,26,27,28,29,30,31,33,34,37,39,42,43,44,45,48,51,54,55,58,59,62,64,65,70,71,72,73,74,77],[2,3,4,5,7,8,9,12,13,14,15,16,18,20,21,22,23,26,27,28,31,33,35,37,40,43,45,46,49,50,51,52,55,57,59,60,63,69,71,72,75,76,77],[1,2,4,8,10,12,15,16,19,21,24,27,28,29,30,33,34,36,37,38,39,40,41,42,46,47,48,49,50,53,54,55,58,62,66,68,72,73,74,75,76,77,78],[1,2,6,16,17,19,20,21,22,23,24,27,28,29,33,34,36,37,39,40,41,42,45,46,47,50,54,55,61,66,67,69,70,71,72,73,75,78],[0,3,4,5,8,11,13,17,19,21,23,25,27,31,34,35,36,40,41,43,44,45,46,47,49,50,51,53,54,57,59,61,64,65,66,69,70,73,74,75,76],[0,2,3,6,7,8,13,15,16,22,24,28,31,37,40,42,43,45,46,49,50,51,52,57,60,63,67,69,75,77],[2,4,6,8,9,10,11,16,19,20,21,23,25,26,27,30,35,36,41,44,45,46,47,48,50,52,54,55,57,58,59,60,61,62,63,64,65,66,67,68,69,71,75,76],[1,2,3,4,7,8,9,10,12,14,16,17,20,22,24,25,28,29,34,35,36,37,40,42,44,47,48,57,59,60,62,63,65,68,70,71,75,77,78],[2,7,8,11,15,16,18,22,23,26,27,30,31,32,33,35,36,37,38,40,42,43,45,47,50,53,54,55,56,57,60,64,65,68,70,71,73,74,77],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,59,64,65,70,71,72,75,76,77],[2,3,4,6,7,9,13,17,19,21,25,27,30,32,33,35,38,39,41,43,46,48,52,53,54,55,57,58,59,60,61,62,63,70,71,76,77],[2,6,7,8,10,11,13,15,17,18,19,20,23,24,26,31,32,34,35,37,38,39,41,42,46,50,51,52,53,57,61,63,64,65,66,68,69,70,71,74,75,76,78],[1,3,6,9,10,12,15,16,18,25,29,32,34,35,36,37,38,39,40,42,43,44,45,47,49,52,57,59,61,63,67,69,72,74,76,78],[21,71,73,75,76,78],[0,4,7,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,51,53,54,55,58,59,60,61,62,66,67,68,71,72,76],[0,3,7,8,10,11,13,16,17,19,20,22,23,24,26,29,32,34,38,40,41,43,44,46,49,50,53,61,64,65,67,69,71,72,74,75,76,77,78],[33,71,72,74,76,78],[0,1,2,3,4,5,6,7,8,9,11,12,16,17,19,23,24,27,30,31,32,33,35,36,38,39,40,41,43,45,47,49,50,51,52,55,56,60,63,64,65,66,67,68,70,71,74,76,78],[0,1,2,9,10,12,22,25,29,30,31,32,34,35,36,45,47,51,59,61,66,68,69,70,72,74,77],[0,1,2,3,4,8,11,12,15,17,18,20,21,22,23,24,26,27,30,32,33,35,36,37,42,45,47,48,50,54,55,58,60,61,62,64,65,70,72,76],[0,5,7,11,13,14,16,18,19,20,22,23,24,25,27,29,30,31,32,37,38,41,42,43,44,46,48,49,53,54,60,61,62,64,67,69,72,75],[2,3,6,8,9,18,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,48,50,52,53,54,55,57,58,59,61,62,63,66,70,71,72,73,74,77,78],[2,5,8,10,14,15,17,22,30,35,46,48,50,53,54,58,62,65,67,68,69,70,71,72,73,76,77,78],[2,6,7,8,10,11,13,15,16,17,18,19,20,23,24,26,29,31,32,34,35,37,38,39,41,42,46,50,51,52,53,57,61,63,64,65,66,70,71,72,73,75],[1,3,6,9,10,12,15,16,18,25,29,32,34,35,36,37,39,40,42,43,44,45,47,49,51,52,57,59,61,63,67,68,74,76,77],[1,4,6,7,11,12,13,16,17,18,20,21,23,26,27,28,30,31,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,68,71,72,73,76,78],[1,4,6,8,11,12,16,17,20,21,23,24,26,27,30,31,32,33,35,36,39,40,44,45,47,48,49,50,51,52,54,55,56,57,58,60,61,62,63,64,65,66,67,69,75,76,78],[0,4,8,9,16,19,21,22,24,25,27,28,30,31,32,33,35,37,38,39,40,41,42,45,46,48,49,50,51,53,54,55,58,59,61,62,67,68,73,75,77],[64,73,74,75,77,78],[5,6,10,14,15,16,17,19,24,26,29,30,31,33,35,37,40,41,42,43,44,45,46,47,48,51,52,53,55,57,58,60,61,63,65,69,70,72,73,74,76,78],[0,2,3,4,6,7,10,11,15,16,20,23,24,28,29,31,32,37,38,40,42,45,46,51,52,53,54,57,60,62,63,65,66,68,69,71,72,73,75,76,78],[23,71,72,73,77,78],[0,1,2,10,12,22,25,29,31,32,34,35,36,45,47,51,59,61,66,70,72,74,76],[0,2,6,7,8,11,13,15,18,24,25,26,27,29,37,38,40,45,46,50,52,53,63,64,66,68,69,71,72,74,75,77],[54,68,69,70,76,77,78],[2,3,5,6,8,9,11,13,14,16,17,18,19,20,21,23,25,27,31,33,34,35,36,37,40,41,42,43,44,45,46,47,51,53,54,59,64,66,67,68,69,72,73,74,75,76,77],[3,4,7,9,10,11,13,15,17,20,21,23,25,27,28,29,30,31,33,34,37,39,42,43,44,45,48,51,54,55,58,59,62,64,65,68,69,70,74,75,77,78],[3,4,6,8,9,10,11,15,17,18,20,21,23,24,25,26,27,29,30,31,33,34,37,42,43,48,50,51,54,55,58,59,60,62,64,65,66,70,74,75,76],[1,2,4,7,10,12,13,15,16,18,19,21,27,29,30,33,34,36,37,38,40,41,42,44,45,46,47,48,49,52,53,54,55,58,60,62,67,68,72,74,76,77],[25,71,72,74,75,76,77,78],[0,2,3,6,7,8,10,13,15,16,17,19,20,25,27,28,29,31,32,36,37,41,42,43,47,49,50,56,58,59,60,63,67,68,69,75,77,78],[1,2,3,7,8,9,10,11,12,13,16,17,19,20,23,24,25,26,31,36,38,40,41,43,44,45,46,47,49,50,51,53,59,64,65,66,67,69,71,75,77],[0,2,6,7,8,13,15,16,22,24,28,31,37,40,42,43,45,49,50,51,52,57,60,63,67,68,75,77],[0,2,4,5,6,9,11,14,15,16,19,20,21,23,24,25,27,28,31,33,35,37,39,40,42,43,44,49,51,53,55,59,67,72,76,77],[0,2,4,6,8,9,10,11,16,17,20,21,22,23,24,25,26,27,29,30,33,34,39,40,44,48,49,50,52,54,55,57,58,59,60,63,64,65,67,68,72,74,75,76,77],[0,3,6,9,10,11,17,20,21,23,25,27,30,31,34,35,36,37,40,41,42,43,46,48,50,51,54,58,59,60,65,68,70,71,73,74,75,78],[0,1,3,4,6,7,10,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,57,58,60,62,63,65,66,70,71,73,75,76],[42,71,74,76,77,78],[0,1,2,3,4,5,11,12,13,15,17,18,21,22,23,24,26,30,32,33,35,36,37,39,42,43,44,45,47,48,50,54,55,57,58,59,61,62,64,65,66,68,69,72,73,74],[0,3,5,6,7,10,11,12,15,16,17,23,24,28,29,31,32,35,37,40,41,42,43,44,45,46,48,51,57,58,60,61,63,65,67,70,71,73,77],[1,2,6,10,11,12,13,15,17,18,22,23,24,26,27,28,29,33,36,37,38,45,46,48,49,50,52,53,56,58,60,61,63,64,66,68,69,71,73,74,76,77,78],[2,3,4,7,9,12,13,15,18,21,22,25,26,30,32,33,34,35,37,41,42,43,46,48,49,51,52,54,55,57,59,60,61,62,64,69,71,77,78],[66,68,76],[24,71,73,76],[2,3,5,9,13,16,17,18,22,23,25,26,27,31,32,33,34,35,38,40,42,43,46,47,48,53,56,57,58,60,64,66,67,68,69,70,72,76,77],[28,69],[2,4,8,10,15,16,21,22,28,29,30,32,35,37,38,40,46,47,48,50,51,53,54,55,56,62,65,66,67,68,69,70,71,72,73,76,78],[20,71,74,77],[0,1,6,7,8,9,11,12,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,63,64,65,69,72,76,77,78],[0,1,3,4,6,7,10,12,13,19,21,22,27,29,30,31,33,34,36,38,39,41,43,45,46,47,48,51,52,53,54,55,58,60,62,63,66,68,71,72,74,76,77],[7,72,73,75,76,77],[6,11,12,15,19,22,26,28,31,34,37,38,42,44,49,51,53,57,58,60,63,64,66,68,74,75],[0,1,3,6,7,8,10,13,15,16,17,19,22,23,24,28,29,33,34,36,37,40,43,45,46,49,50,56,59,60,61,63,67,69,70,71,72,73,76,77,78],[0,3,10,11,16,17,18,19,20,22,23,26,28,29,32,34,35,38,39,40,41,43,45,46,49,53,61,64,65,66,67,68,69,70,71,72,73,77],[0,3,7,8,10,11,13,16,17,19,20,22,23,24,26,29,32,34,35,38,40,41,43,46,49,50,53,61,64,65,67,70,74,77],[8,73,74,75,76,77],[0,1,2,7,8,9,10,12,13,18,22,24,25,27,28,29,31,32,34,35,36,39,44,47,50,51,59,60,61,69,71,73,74,75,78],[36,78],[7,8,13,18,24,28,39,41,44,45,50,60,66,68,69,70,71,72,73,74],[22,71,72,73,75,78],[3,4,8,9,10,11,15,17,18,19,20,21,23,24,25,26,27,29,30,31,33,34,37,42,43,48,50,51,54,55,58,59,60,62,64,65,66,68,69,70,71,72,73,75,77,78],[1,3,5,8,9,10,14,19,20,22,23,26,28,29,30,31,34,35,36,38,41,42,43,44,47,48,50,51,52,53,54,57,58,59,62,63,67,71,74,75],[67,71,72,74,75,78],[3,6,9,11,12,18,21,22,24,25,26,27,29,31,33,34,37,38,42,43,45,49,50,51,53,54,55,59,60,61,64,65,66,70,71,73,76],[0,1,2,4,5,7,9,12,16,20,21,24,26,27,34,35,38,54,57,61,67,68,69,70,71,78],[2,3,6,15,16,18,22,31,37,39,40,42,43,44,49,51,52,57,63,66,67,68,71,72,73,74,75,77],[0,17,19,22,24,29,33,34,35,36,39,40,41,45,46,47,49,61,66,68,71,74,75,76,78],[0,2,4,6,7,9,10,11,13,16,17,18,20,21,22,23,25,26,27,28,29,30,33,34,40,45,48,49,52,54,55,57,58,59,61,62,63,64,65,66,67,68,71,72,73,78],[0,2,6,7,9,14,16,17,18,19,20,21,25,27,30,31,33,35,37,38,40,41,42,43,46,50,51,52,53,54,55,58,59,60,65,68,71,72,74,76,77,78],[0,1,2,3,4,6,8,10,11,12,13,15,16,18,19,21,23,26,29,32,34,35,37,39,40,41,42,46,48,50,51,52,56,58,62,63,64,65,66,69,74,75,76,77],[63,71,75,78],[0,1,6,9,11,12,15,17,19,20,22,23,25,26,28,36,37,38,41,42,44,46,47,52,57,59,60,63,64,65,66,68,69,70,71,73,74,76,77,78],[17,71,76,78],[2,3,4,6,8,9,18,19,21,24,25,27,28,30,32,33,35,38,41,43,44,45,46,47,48,50,52,53,54,55,57,58,59,61,62,63,66,68,69,70,71,72,73,74,77,78],[2,6,10,11,15,17,19,20,23,26,28,29,31,32,34,35,37,38,40,41,42,44,45,46,51,52,53,57,60,61,63,64,65,70,74,75],[29,72,73,74,76,78],[1,3,6,7,8,9,10,12,13,15,16,24,25,28,29,32,34,35,36,40,42,43,47,49,50,52,57,59,60,61,63,66,67,68,71,73,76,78],[1,4,6,7,11,12,13,16,17,18,20,23,26,27,28,30,31,32,33,35,36,40,47,48,49,51,52,54,55,57,58,61,62,63,64,65,67,69,71,72,73,77,78],[1,4,6,8,11,12,14,16,17,20,21,23,24,26,27,30,31,32,33,35,36,39,40,44,45,47,48,49,50,51,52,54,55,57,58,60,61,62,63,64,65,66,67,68,71,73,74,75,76,77],[0,4,8,9,15,16,19,21,22,24,25,27,28,30,31,32,33,34,35,37,38,39,40,41,42,45,46,48,49,50,51,53,54,55,58,59,61,62,67,69,75,78],[49,73,74,75,76,78],[35,71,72,75,76,78],[0,3,10,11,16,17,18,19,20,22,23,26,28,29,32,33,34,35,38,39,40,41,43,45,46,49,53,60,61,64,65,66,67,68,73,74,76,77,78],[3,4,5,6,10,11,13,16,17,18,19,22,23,25,27,28,29,30,33,34,38,40,41,43,44,45,49,52,55,56,59,61,63,64,65,66,67,68,71,72,75,77],[30,71,72,73,74,75,76,78],[1,2,3,4,5,12,14,15,16,17,18,19,21,24,25,26,28,29,31,33,35,36,38,39,41,46,47,49,53,55,58,60,65,66,67,68,70,71,72,73,74,75,76],[2,3,4,6,7,9,13,19,21,25,27,30,32,33,35,38,39,41,43,46,48,52,53,54,57,58,59,60,61,62,63,68,69,70,77,78],[5,6,8,11,14,19,20,22,23,26,28,29,30,31,32,34,37,38,41,42,44,45,48,50,51,52,54,57,58,60,61,62,63,64,67,71,72,73,74,75,76,77,78],[51,72,77,78],[1,3,6,7,8,9,10,12,13,15,16,24,25,28,29,32,34,35,36,37,40,42,43,47,49,50,52,57,58,59,60,61,63,66,67,69,71,73,76,78],[32,71,73,75,77,78],[56,71,73,74,77,78],[15,73,77,78],[0,4,7,9,13,15,16,18,19,21,22,25,27,30,31,32,33,35,37,38,40,41,42,44,46,48,49,51,53,54,55,58,59,60,61,62,64,66,67,69,71,72,77],[0,3,5,6,7,8,11,13,14,15,20,22,23,30,31,32,33,34,37,38,42,45,47,48,49,50,51,52,55,57,58,60,63,64,67,68,69,70,72,73,76,77,78],[2,4,6,7,15,17,18,19,22,24,26,31,34,35,37,39,41,42,43,49,51,52,54,57,61,62,63,64,67,68,75,76,77,78],[0,1,2,7,8,9,10,12,13,18,22,23,24,25,28,29,31,32,34,35,36,39,44,47,50,51,59,60,61,68,69,70,71,73,74,75,76],[9,71,72,73,74,75,77,78],[1,3,4,6,7,12,13,17,20,21,22,23,25,29,30,32,33,35,36,38,40,42,43,46,47,48,52,53,54,55,58,60,61,62,63,65,66,70,71,74,75,76,77],[0,1,3,4,7,11,12,13,15,17,20,21,22,23,26,27,28,30,32,33,35,36,37,39,42,43,44,47,48,54,55,58,61,62,64,65,66,70,71,73,74,76],[54,76,77,78],[2,3,5,6,7,9,11,14,16,17,19,20,21,23,24,25,27,28,31,33,34,35,36,37,39,40,41,42,43,46,47,50,51,53,54,59,60,64,67,68,69,70,71,75,76,77],[6,71,72,73,74,76,77,78],[1,2,4,8,10,12,15,16,19,21,24,25,27,28,29,30,33,34,36,37,38,39,40,41,42,46,47,48,49,50,53,54,55,58,62,66,67,69,72,73,74,75,78],[0,1,6,7,8,9,10,11,12,13,15,18,23,26,27,29,32,37,38,39,40,42,46,50,51,53,56,58,63,64,65,69,72,76,77],[10,73,74,76,77,78],[3,4,5,9,11,14,18,19,20,21,22,23,24,25,27,28,33,35,52,53,55,57,59,63,66,69,71,73,74,75,76],[62,72,75,76,77,78],[2,3,4,7,13,16,18,22,26,28,29,31,33,35,36,37,41,42,43,45,46,49,50,51,52,55,57,60,62,63,64,66,67,68,69,70,72,74,75],[0,3,4,6,8,10,12,18,19,21,22,24,27,28,29,30,31,33,34,36,38,41,43,44,46,47,48,50,51,52,53,54,55,57,58,62,63,68,69,70,72,74,75,76],[0,1,6,7,8,9,11,13,15,17,18,19,20,22,23,24,25,26,36,37,38,39,41,42,45,46,47,50,52,53,57,59,63,64,65,68,69,70,72,76,77,78],[0,1,6,9,11,12,15,17,19,20,22,23,25,26,28,36,37,38,41,44,46,47,52,53,57,59,60,63,64,65,66,70,73]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,15,63],"A_d":1952,"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],[64,1],[65,1],[66,1],[67,1],[71,2],[72,2],[73,2],[74,2],[75,2],[77,2]],"CZ":[[0,71],[0,72],[1,71],[1,73],[2,72],[2,73],[2,76],[2,77],[3,71],[3,72],[3,74],[3,75],[3,76],[3,77],[4,71],[4,73],[4,74],[4,75],[4,76],[4,77],[6,71],[6,72],[6,76],[6,77],[7,71],[7,74],[7,76],[7,77],[8,73],[8,75],[9,74],[9,75],[9,76],[9,77],[10,71],[10,73],[10,74],[10,75],[11,74],[11,75],[12,71],[12,73],[13,71],[13,74],[13,76],[13,77],[15,72],[15,73],[15,74],[15,75],[16,72],[16,73],[17,74],[17,75],[18,72],[18,75],[19,71],[19,73],[19,76],[19,77],[20,74],[20,75],[21,71],[21,73],[21,74],[21,75],[21,76],[21,77],[22,71],[22,72],[23,74],[23,75],[24,73],[24,75],[25,74],[25,75],[25,76],[25,77],[26,74],[26,75],[27,71],[27,73],[27,74],[27,75],[27,76],[27,77],[28,73],[28,74],[29,71],[29,73],[29,74],[29,75],[30,71],[30,73],[30,74],[30,75],[30,76],[30,77],[31,71],[31,72],[31,74],[31,75],[32,76],[32,77],[33,71],[33,73],[33,74],[33,75],[33,76],[33,77],[34,71],[34,73],[34,74],[34,75],[35,76],[35,77],[36,71],[36,73],[37,72],[37,73],[37,74],[37,75],[38,71],[38,73],[38,76],[38,77],[39,71],[39,72],[39,73],[39,74],[39,76],[39,77],[40,72],[40,73],[41,71],[41,73],[41,76],[41,77],[42,72],[42,73],[42,74],[42,75],[43,71],[43,72],[43,74],[43,75],[43,76],[43,77],[44,72],[44,74],[45,71],[45,74],[46,71],[46,73],[46,76],[46,77],[47,71],[47,73],[48,71],[48,73],[48,74],[48,75],[48,76],[48,77],[49,72],[49,73],[50,73],[50,75],[51,71],[51,72],[51,74],[51,75],[52,71],[52,72],[52,76],[52,77],[53,71],[53,73],[53,76],[53,77],[54,71],[54,73],[54,74],[54,75],[54,76],[54,77],[55,71],[55,73],[55,74],[55,75],[55,76],[55,77],[57,71],[57,72],[57,76],[57,77],[58,71],[58,73],[58,74],[58,75],[58,76],[58,77],[59,74],[59,75],[59,76],[59,77],[60,71],[60,75],[60,76],[60,77],[61,76],[61,77],[62,71],[62,73],[62,74],[62,75],[62,76],[62,77],[63,71],[63,72],[63,76],[63,77],[64,74],[64,75],[65,74],[65,75],[66,71],[66,72],[66,73],[66,75],[67,72],[67,73],[68,72],[68,73],[68,75],[68,76],[69,75],[69,76],[70,72],[70,73],[71,72],[71,76],[72,73],[72,74],[72,77],[73,75],[73,76],[73,77],[74,75],[74,77],[74,78],[75,77],[75,78],[76,77],[76,78],[77,78]]},"rotation_powers":[[0,7],[1,7],[3,5],[4,5],[5,5],[8,3],[9,7],[10,3],[12,5],[14,5],[15,7],[16,5],[18,5],[19,3],[20,5],[25,5],[26,3],[27,5],[28,7],[29,7],[30,5],[31,7],[32,3],[33,3],[34,5],[35,7],[36,5],[37,5],[38,5],[42,5],[43,5],[45,7],[46,5],[48,7],[49,5],[51,3],[55,3],[56,5],[57,3],[59,5],[60,7],[66,5],[70,5],[71,3],[73,7],[74,3],[77,3],[79,3],[80,3],[82,3],[83,5],[85,7],[86,7],[87,3],[88,3],[90,3],[94,3],[95,3],[96,3],[99,3],[100,3],[102,3],[103,3],[104,3],[105,3],[107,5],[113,3],[115,3],[116,3],[117,3],[118,3],[119,3],[120,3],[122,3],[124,3],[128,3],[129,3],[131,3],[133,3],[136,3],[137,3],[139,3],[140,3],[141,3],[146,3],[150,3],[154,5],[156,5],[157,5],[159,7],[161,3],[165,7],[168,3],[172,3],[175,3],[179,3],[181,3],[182,3],[185,3],[186,3],[187,3],[188,3],[189,3],[194,3],[195,3],[200,3],[205,3],[207,3],[208,3],[210,3],[211,3],[212,3],[213,3],[215,3],[219,3],[221,3],[223,3],[225,3],[226,3],[227,3],[228,3],[229,3],[232,3],[235,3],[238,3],[240,3],[244,3],[245,3],[247,3],[250,3],[254,3],[265,3],[268,3],[269,3],[272,3],[273,3],[276,3],[278,3],[279,3],[281,3],[284,3],[291,3],[292,3],[295,3]]},"metrics":{"gamma":1.3510451182732883,"gamma_t":null,"gamma_rho":1.3510451182732883,"gamma_claim":1.3510451182732883,"gamma_t_claim":null,"gamma_rho_claim":1.3510451182732883,"v_ex":68,"rate":0.22666666666666666,"t_count":null,"poly_degree":null,"effective_width":68},"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_300_68_3.json","label":"restricted_light_300_68_3","N":79,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=92), with searched graph punctures","provenance":"gamma frontier release record restricted_light_300_68_3 (source catalogue id restricted_light_300_68_3); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=92), with searched graph punctures; matrix 2bac793753a158f0...; the release states d=3 (exact), gamma=1.3510451182732883 (exact)","notes":"matrix gamma_frontier_release/matrices/2bac793753a158f0ba77370b176cc70e488caf7e8f684a7c0983ae766b29d56e.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"}]}