{"id":"310.70.3.a","row":962,"stored":{"file":"master_catalog.json","row":962,"construction":null,"columns_sha256":null},"parameters":{"n":310,"k":70,"d":3,"N":82,"r":12,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+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+68+69","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\u00b7T68\u00b7T69","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],[68],[69]],"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],[68],[69]],"sk_fingerprint":"5750ac12e413814d","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,2,7,9,10,21,22,29,33,38,41,46,48,50,54,71,72,78,79],[0,1,3,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,48,50,51,52,54,55,59,60,71,72,75,77],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,46,48,50,51,52,54,58,60,71,72,75,76,79,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,55,58,59,71,72,76,77,78,80,81],[64,77],[0,1,2,3,4,6,7,9,10,13,16,18,22,25,26,27,28,29,30,31,32,33,34,37,38,40,41,44,46,48,49,51,52,53,55,56,65,66,67,71,73,75,77,78,79,80],[1,5,8,11,12,14,16,22,23,25,26,29,31,33,34,35,38,41,42,45,48,51,52,55,56,57,59,60,61,63,64,65,68,70,72,74,77,78,80],[1,8,10,17,18,19,25,26,27,29,34,40,41,43,44,46,50,53,55,59,64,66,67,72,76,77],[0,1,5,6,7,12,13,18,20,21,24,27,28,30,34,40,43,44,47,49,50,51,52,53,54,55,62,65,67,70,71,72,73,74,76,78,81],[3,4,5,6,7,9,11,13,14,15,20,24,26,29,30,31,32,33,38,40,42,43,44,45,46,49,54,57,58,59,60,63,68,71,72,73,75,76,78,80,81],[0,2,6,7,9,10,11,14,15,17,19,21,25,29,31,32,33,37,41,44,45,46,48,54,56,58,59,60,61,64,65,70,71,73,74,75,76,77,81],[0,3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,67,70,76,79],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,32,33,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,70,76],[10,76,77,78],[1,2,3,5,9,10,12,16,18,19,20,22,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,70,74,75,76,78,80,81],[24,79],[0,1,4,5,6,16,18,19,20,22,24,27,28,31,32,34,42,43,44,51,52,53,54,55,57,63,66,67,68,70,71,72,73,77,78],[7,75,77,79],[0,2,3,7,10,11,13,14,15,16,21,25,30,38,41,43,44,45,48,50,51,52,54,58,60,70,72,75,77,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,41,42,44,50,54,55,58,59,70,72,74,75,78,79,80,81],[2,74,78,79],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,40,42,44,47,53,54,55,56,59,62,67,70,75,77,80,81],[21,76,78,79],[29,74,75,76,78,79],[1,6,8,9,10,11,13,14,16,17,19,20,22,23,29,30,31,34,35,38,42,45,47,48,55,56,57,60,61,62,63,66,68,71,72,73,74,75,78,80,81],[19,72],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,36,37,38,40,41,42,43,45,48,51,52,55,59,60,72,75,77,78,79],[3,9,11,13,15,16,17,18,19,22,27,28,32,33,38,39,45,49,52,56,58,59,64,70,74,75,78,79],[1,2,9,10,12,15,19,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,72,76,77,79,80,81],[14,74,77,80],[1,2,3,5,9,10,13,16,18,26,27,29,32,33,41,43,44,46,47,48,50,52,53,55,56,62,63,66,67,70,71,72,74,76,79,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,69,70,71,76,77,78,80,81],[1,3,7,10,11,14,15,21,23,25,33,38,43,46,48,50,51,52,57,62,63,66,69,70,72,74,75,78,79,81],[1,2,5,10,11,12,14,15,18,19,20,22,25,27,30,31,32,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,72,75,76,77,78],[26,76,78,80],[1,2,3,5,9,10,11,12,16,18,19,20,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,72,77,80,81],[0,2,4,5,6,7,8,9,10,11,15,16,17,19,22,23,24,25,26,27,32,33,34,35,36,42,44,46,47,48,53,54,55,56,58,68,69,72,73,74,75,76,77,79,80],[0,4,5,6,8,9,10,13,18,19,20,21,23,24,25,26,28,29,31,39,41,42,45,46,47,48,49,50,51,52,53,54,57,58,59,62,64,68,69,70,71,73,74,76,77,79],[0,1,3,5,7,12,16,18,19,20,21,22,27,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,71,75,76,79,81],[52,74,79,80],[7,11,12,15,16,19,20,22,23,25,26,29,31,33,34,37,40,41,44,48,51,52,54,55,57,59,60,63,69,70,71,73,74,76,77,78,80,81],[45,76,79,80],[0,1,4,6,7,8,9,11,12,14,16,20,23,24,25,26,27,28,29,32,33,35,36,38,40,41,42,43,49,50,54,56,59,60,62,64,67,68,69,70,72,73,74,75,77,79,80,81],[40,74,75,77,79,80],[37,74,76,77,79,80],[1,2,3,4,5,6,7,8,10,12,13,14,16,17,21,23,24,26,27,30,32,33,37,39,41,42,43,45,47,52,53,54,55,56,57,58,60,68,69,70,71,72,79,80,81],[0,5,7,10,11,12,13,17,20,25,28,30,36,41,44,45,47,49,51,52,53,64,67,70,71,73,75,78,80],[0,1,5,7,9,11,12,13,14,15,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,60,62,67,74,76,77,78,80],[12,74,76,78,79,80],[39,75,76,78,79,80],[3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,63,67,70,71,72,74,76,77,78,80],[60,75,77,78,79,80],[0,3,5,7,9,10,12,13,14,15,16,18,19,20,22,25,26,27,30,31,32,33,34,37,38,40,41,44,47,51,52,53,56,58,59,60,66,67,69,71,73,74,77,80],[1,2,3,5,9,10,12,16,18,19,20,27,29,31,32,33,34,37,40,41,43,44,46,47,48,53,55,56,59,62,67,70,71,72,74,75,76,78,79,81],[16,81],[2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,73,74,77,78,79,81],[0,1,2,3,5,7,10,11,13,14,15,16,18,21,27,32,41,43,45,47,48,50,52,53,54,55,56,57,58,60,67,70,71,72,74,80,81],[0,1,4,6,7,8,11,12,14,15,17,20,23,26,30,33,35,36,37,39,40,41,42,45,49,52,54,56,61,62,64,65,67,68,69,70,75,77,81],[65,76,77,81],[1,4,5,8,11,14,16,17,18,19,21,22,25,26,30,31,32,33,34,35,36,38,39,41,44,45,49,50,51,52,55,56,57,59,61,62,64,65,69,70,72,74,75,76,80,81],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,73,75,76,77,78],[0,1,2,6,7,10,11,13,14,15,18,21,25,27,30,41,43,45,48,50,51,52,53,54,55,58,60,62,65,67,68,72,75,77,79,80],[1,2,3,5,9,10,12,16,18,19,20,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,73,74,75,76,77,78,80],[1,2,3,10,11,12,13,14,16,19,20,22,23,25,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,75,77,78,79],[0,1,5,7,9,11,12,13,14,15,18,19,20,21,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,70,71,72,73,74,76,78,79,81],[23,74,76,77,78,81],[56,74,79,81],[0,2,3,4,6,7,8,10,13,17,19,22,25,26,27,30,31,32,33,34,35,36,38,39,43,47,48,49,51,54,56,57,59,60,61,64,69,71,74,77,78,79,81],[0,2,3,7,10,11,13,14,15,16,18,21,25,30,41,43,44,45,48,50,51,52,54,58,60,72,73,75,80],[68,74,75,76,79,81],[44,77,79,81],[62,74,75,77,79,81],[0,2,3,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,35,38,41,42,46,47,48,50,53,54,55,56,58,62,67,72,73,76,79,81],[57,74,76,78,79,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,40,42,44,47,50,53,54,55,56,58,59,62,67,72,73,77,78,79,80,81],[3,5,15,16,18,23,25,27,32,35,53,56,58,62,67,70,71,73,76,79],[1,2,4,8,10,12,13,15,17,18,20,21,23,26,27,30,32,33,35,36,37,39,40,42,43,48,49,50,60,61,62,64,67,68,69,71,72,73,75,76,77,78,79,80],[5,9,11,13,14,18,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,70,71,73,75,78,79,80,81],[6,74,75,76,77,78,79,81],[64,70,77],[0,4,6,7,9,11,12,14,18,19,20,23,25,26,27,28,29,32,33,35,42,43,44,45,46,49,53,56,59,60,65,66,67,70,71,73,80],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,49,51,52,58,60,70,75,76,78,80,81],[2,5,8,9,10,11,14,15,16,19,20,22,26,37,38,40,42,44,45,46,51,52,56,57,58,60,61,63,64,65,68,72,74,76,78,79,81],[0,1,2,3,5,7,8,9,15,16,17,19,21,22,23,26,32,33,34,35,38,40,42,43,44,47,48,54,55,56,58,59,62,64,66,71,77,78],[6,9,11,14,15,19,24,25,28,29,31,32,33,37,44,45,46,49,56,58,59,60,65,70,73,74,75,77,78,79,81],[0,2,3,4,6,9,10,15,18,20,21,23,24,26,27,29,31,33,35,38,40,41,42,46,47,48,49,50,51,52,53,56,57,58,59,62,63,67,68,73,76,78],[1,2,3,5,6,9,10,11,12,14,15,16,17,18,20,22,25,27,29,33,34,38,40,41,42,45,46,47,48,50,53,55,58,60,61,62,64,65,67,70,72,73,74,75,76,78,79,80],[33,75,77,78],[5,9,10,11,13,14,18,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,70,75,76,77,79,80,81],[22,74,75,76,77,78],[24,71,79],[1,2,3,8,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,71,75,77,78,79],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,51,52,58,60,61,71,75,76,78,80,81],[0,2,4,5,6,9,10,12,15,16,18,22,23,24,25,27,28,29,32,33,35,37,40,41,42,43,46,48,51,52,53,54,57,58,59,63,66,67,68,70,72,73,76,78,79,80,81],[0,2,7,10,21,22,29,33,38,41,42,46,48,50,54,70,72,78,79],[0,1,3,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,50,51,52,54,55,59,60,70,72,79],[38,76,77,79],[41,74,75,76,77,79],[2,3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,67,71,74,76,78],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,51,52,54,58,60,70,71,76,78,80,81],[5,9,11,13,14,18,21,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,71,75,76,80,81],[1,2,3,5,9,10,12,16,18,19,20,27,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,71,74,75,76,77,78,79,80,81],[0,2,3,4,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,35,38,41,42,46,47,48,50,53,54,56,58,62,67,70,72,76,78],[0,1,5,7,9,11,12,13,14,15,17,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,70,72,75,76,77,79],[0,1,2,5,6,7,8,9,16,17,18,19,20,21,22,27,29,31,32,34,38,41,42,43,44,50,51,52,53,54,55,57,61,63,66,67,68,70,71,73,74,78],[0,1,3,5,7,12,16,18,19,20,21,22,27,28,31,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,72,77,78,79,80,81],[14,17,18,19,25,27,28,29,30,32,39,42,43,44,46,49,51,56,59,60,64,70,72,74,76,79,80,81],[0,2,7,9,10,14,21,22,29,33,38,41,42,46,48,50,54,70,71,74,77,78,79,80],[0,2,5,7,10,11,12,14,18,19,20,21,23,26,27,30,31,32,34,35,37,40,41,44,45,47,48,51,53,54,56,59,60,62,63,66,67,72,74,75,76,77,79,81],[1,5,7,10,11,14,16,18,21,27,32,33,35,38,43,46,47,48,50,51,52,53,56,57,58,63,66,67,69,70,74,75,76,78,81],[5,9,11,13,14,18,22,23,26,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,72,75,76,79,81],[0,2,3,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,34,35,38,41,42,46,47,48,50,53,54,56,58,62,67,70,71,76,78],[1,2,4,6,8,10,12,13,14,16,17,18,20,21,22,23,24,26,29,30,31,35,36,37,40,42,43,44,45,48,50,51,52,59,60,62,67,68,69,70,71,72,73,74,80],[2,4,6,7,8,9,11,14,19,20,24,25,26,27,28,29,30,31,32,35,39,42,43,44,46,49,56,57,58,59,60,64,67,68,69,73,74,75,76,77,79,80,81],[31,75,76,77,78,80],[0,2,7,9,10,21,22,29,33,38,41,42,46,48,50,52,54,74,78,80],[0,1,3,9,13,14,15,21,22,25,26,30,35,41,43,44,45,46,48,50,57,63,69,70,71,73,74,75,76,78,80,81],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,48,50,51,52,54,58,60,75,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,66,76,77,78,80,81],[0,1,4,6,7,8,9,11,12,14,16,20,23,24,25,26,27,28,29,32,33,35,36,38,40,41,42,43,49,50,54,56,59,60,62,64,67,68,69,71,73,74,75,77,79,80,81],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,41,42,43,45,48,51,52,55,59,60,70,71,72,74,78,80],[3,9,11,13,14,15,16,22,25,29,30,33,37,38,42,43,44,45,46,51,52,58,60,70,71,72,74,75,77,78,79,81],[3,4,5,6,7,8,9,13,14,15,16,17,19,20,21,24,25,26,27,29,30,31,32,34,35,39,40,42,43,44,45,46,47,48,52,53,54,56,57,59,60,68,69,76,77],[2,3,9,11,12,13,15,16,17,18,20,21,22,23,27,28,29,30,32,33,35,36,38,42,44,45,46,48,49,50,51,52,54,56,58,62,64,70,71,73,75,76,80],[59,74,75,78,79,80],[0,2,5,7,10,11,12,13,14,18,21,23,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,60,62,67,74,75,76,78,79,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,39,40,42,44,47,50,53,54,55,56,59,62,67,75,76,77,81],[63,74,77,78,79,80],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,32,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,62,67,70,71,72,76,79,80],[0,3,7,10,11,12,15,16,19,20,23,25,26,29,31,34,35,37,40,41,42,43,45,46,58,59,62,66,69,70,72,73,74,75,77,78,79,81],[43,74,75,76,77,78,79,80],[16,73,81],[1,74,75,81],[3,9,11,13,14,16,22,25,29,30,33,38,42,43,44,45,46,51,52,58,60,73,75,76,78,80,81],[0,3,5,7,9,11,12,13,14,16,18,19,20,21,23,25,27,29,31,32,33,34,35,37,40,43,44,45,46,47,50,52,53,54,56,57,59,60,67,70,71,72,73,74,76,77,79],[1,2,4,6,8,9,10,11,12,14,15,17,20,21,22,23,26,29,30,35,36,37,38,39,40,45,46,48,49,50,52,56,61,62,64,65,67,68,69,71,72,73,75,77,78,79,81],[0,1,3,5,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,50,51,52,54,55,59,60,70,71,72,73,75,77],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,65,70,71,72,73,75,77,79,80],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,53,54,55,58,59,70,71,72,73,76,77,78,80,81],[1,3,4,8,11,14,15,17,19,21,22,23,26,27,30,31,33,34,36,38,39,41,44,45,47,49,50,51,52,53,55,57,58,59,61,64,65,67,69,70,72,73,74,75,79,80,81],[0,1,2,5,6,7,9,10,15,21,22,23,25,29,32,33,35,38,41,42,44,46,47,48,50,54,55,56,58,65,68,72,73,77,78,81],[27,74,75,76,78,81],[25,74,75,77,78,81],[0,2,5,7,10,11,13,14,18,21,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,60,62,67,70,71,72,73,74,75,76,77,78,80],[0,1,3,5,7,12,16,18,19,20,21,22,27,30,31,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,71,72,73,77,78,79,80,81],[0,2,7,9,10,21,22,29,33,38,41,42,46,48,50,54,56,72,73,74,78,81],[1,2,4,6,8,9,10,11,12,14,16,17,20,21,22,23,25,26,27,29,32,36,37,38,39,40,45,46,47,48,49,50,52,55,56,57,61,64,69,71,72,73,74,75,78,79,81],[18,76,79,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,68,72,73,74,75,77,78,79,80],[44,70,71,73,77,79,81],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,62,70,71,73,74,78,81],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,52,58,60,70,71,73,75,76,78,80,81],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,37,40,41,44,46,48,55,58,59,70,71,73,76,77,79,80,81],[55,78,79,81],[0,1,3,5,7,9,11,12,13,14,15,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,72,73,75,76,77,79],[0,2,5,7,10,11,13,14,18,21,23,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,57,60,62,67,72,73,74,75,76,78,79,80],[4,5,8,11,14,17,19,21,22,23,25,26,31,33,34,35,36,38,39,41,45,47,49,50,51,52,53,55,56,58,59,61,64,68,69,70,72,79,80],[1,2,3,5,6,9,10,12,16,18,19,20,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,70,71,73,74,75,76,78,79,80],[0,2,7,9,10,21,22,29,33,38,41,46,48,50,54,71,72,74,78,79],[0,1,3,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,48,50,51,52,54,55,59,60,71,72,77],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,46,48,50,51,52,54,58,60,71,72,75,79,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,55,58,59,71,72,74,75,77,78,80,81],[0,1,2,3,4,6,7,9,10,13,16,18,22,25,26,27,28,29,30,31,32,33,34,37,38,40,41,44,46,48,49,51,52,53,55,56,65,66,67,71,73,74,78,79,80],[49,74,76,77],[1,5,8,11,12,14,16,22,23,25,26,29,31,33,34,35,38,41,42,45,48,51,52,55,56,57,59,60,61,63,64,65,68,70,72,74,75,76,78,80],[1,8,10,17,18,19,25,26,27,29,34,40,41,43,44,46,50,53,55,59,64,66,67,72,76,77,78],[0,1,5,6,7,12,13,18,20,21,24,27,28,30,34,40,43,44,47,49,50,51,52,53,54,55,62,65,67,70,71,72,73,75,76,81],[3,4,5,6,7,9,11,13,14,15,20,24,26,29,30,31,32,33,38,40,42,43,44,45,46,49,54,57,58,59,60,63,68,71,72,73,74,75,80,81],[0,2,6,7,9,10,11,14,15,17,19,21,25,29,31,32,33,37,41,44,45,46,48,54,56,58,59,60,61,64,65,70,71,73,74,77,78,81],[0,3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,67,70,74,76,77,78,79],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,32,33,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,70,75,76,77,78],[1,2,3,5,9,10,12,16,18,19,20,22,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,70,77,80,81],[8,74,75,79],[61,74,76,79],[0,1,4,5,6,16,18,19,20,22,24,27,28,31,32,34,42,43,44,51,52,53,54,55,57,63,66,67,68,70,71,72,73,75,76,77,78,79],[9,74,77,79],[0,2,3,7,10,11,13,14,15,16,21,25,30,38,41,43,44,45,48,50,51,52,54,58,60,70,72,75,76,79,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,41,42,44,50,54,55,58,59,70,72,76,77,78,80,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,40,42,44,47,53,54,55,56,59,62,67,70,77,78,79,80,81],[4,77,78,79],[17,74,75,77,78,79],[1,6,8,9,10,11,13,14,16,17,19,20,22,23,29,30,31,34,35,38,42,45,47,48,55,56,57,60,61,62,63,66,68,71,72,73,75,76,77,79,80,81],[28,75,76,77,78,79],[19,72,80],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,36,37,38,40,41,42,43,45,48,51,52,55,59,60,72,74,77,78,79,80],[3,9,11,13,15,16,17,18,19,22,27,28,32,33,38,39,45,49,52,56,58,59,64,70,75,76,78,79,80],[1,2,9,10,12,15,19,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,72,75,77,79,81],[1,2,3,5,9,10,13,16,18,26,27,29,32,33,41,43,44,46,47,48,50,52,53,55,56,62,63,66,67,70,71,72,74,75,76,77,79,80,81],[50,76,77,80],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,69,70,71,74,75,78,81],[1,3,7,10,11,14,15,21,23,25,33,38,43,46,48,50,51,52,57,62,63,66,69,70,72,75,79,80,81],[1,2,5,10,11,12,14,15,18,19,20,22,25,27,30,31,32,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,72,76,77,80],[1,2,3,5,9,10,11,12,16,18,19,20,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,72,74,75,76,77,78,81],[34,77,78,80],[0,2,4,5,6,7,8,9,10,11,15,16,17,19,22,23,24,25,26,27,32,33,34,35,36,42,44,46,47,48,53,54,55,56,58,68,69,72,73,76,78,79],[0,4,5,6,8,9,10,13,18,19,20,21,23,24,25,26,28,29,31,39,41,42,45,46,47,48,49,50,51,52,53,54,57,58,59,62,64,68,69,70,71,73,78,79,80],[0,1,3,5,7,12,16,18,19,20,21,22,27,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,71,77,78,79,80,81],[7,11,12,15,16,19,20,22,23,25,26,29,31,33,34,37,40,41,44,48,51,52,54,55,57,59,60,63,69,70,71,73,74,75,76,77,78,79,81],[66,74,75,76,79,80],[0,1,4,6,7,8,9,11,12,14,16,20,23,24,25,26,27,28,29,32,33,35,36,38,40,41,42,43,49,50,54,56,59,60,62,64,67,68,69,70,72,73,74,75,81],[1,2,3,4,5,6,7,8,10,12,13,14,16,17,21,23,24,26,27,30,32,33,37,39,41,42,43,45,47,52,53,54,55,56,57,58,60,68,69,70,71,72,75,76,77,81],[0,5,7,10,11,12,13,17,20,25,28,30,36,41,44,45,47,49,51,52,53,64,67,70,71,73,75,79],[0,1,5,7,9,11,12,13,14,15,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,60,62,67,75,76,77,79],[3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,63,67,70,71,72,76,79],[0,3,5,7,9,10,12,13,14,15,16,18,19,20,22,25,26,27,30,31,32,33,34,37,38,40,41,44,47,51,52,53,56,58,59,60,66,67,69,71,73,74,76,78,79],[1,2,3,5,9,10,12,16,18,19,20,27,29,31,32,33,34,37,40,41,43,44,46,47,48,53,55,56,59,62,67,70,71,72,77,80,81],[2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,73,75,77,78,79],[15,74,76,81],[0,1,2,3,5,7,10,11,13,14,15,16,18,21,27,32,41,43,45,47,48,50,52,53,54,55,56,57,58,60,67,70,71,72,74,75,76,80],[0,1,4,6,7,8,11,12,14,15,17,20,23,26,30,33,35,36,37,39,40,41,42,45,49,52,54,56,61,62,64,65,67,68,69,70,74,75],[5,75,77,81],[53,74,75,76,77,81],[1,4,5,8,11,14,16,17,18,19,21,22,25,26,30,31,32,33,34,35,36,38,39,41,44,45,49,50,51,52,55,56,57,59,61,62,64,65,69,70,72,75,76,78,80],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,60,62,67,73,76,77,81],[0,1,2,6,7,10,11,13,14,15,18,21,25,27,30,41,43,45,48,50,51,52,53,54,55,58,60,62,65,67,68,72,75,76,77,78,79,80,81],[1,2,3,5,9,10,12,16,18,19,20,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,73,77,80,81],[1,2,3,10,11,12,13,14,16,19,20,22,23,25,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,75,79,81],[30,75,76,77,78,81],[0,2,3,4,6,7,8,10,13,17,19,22,25,26,27,30,31,32,33,34,35,36,38,39,43,47,48,49,51,54,56,57,59,60,61,64,69,71,74,75,77,78],[0,2,3,7,10,11,13,14,15,16,18,21,25,30,41,43,44,45,48,50,51,52,54,58,60,72,73,75,76,79,80,81],[51,74,76,77,79,81],[35,75,76,77,79,81],[0,2,3,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,35,38,41,42,46,47,48,50,53,54,55,56,58,62,67,72,73,76,78],[3,74,75,78,79,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,40,42,44,47,50,53,54,55,56,58,59,62,67,72,73,75,76,77,80],[3,5,15,16,18,23,25,27,32,35,53,56,58,62,67,70,71,73,74,76,77,78,81],[1,2,4,8,10,12,13,15,17,18,20,21,23,26,27,30,32,33,35,36,37,39,40,42,43,48,49,50,60,61,62,64,67,68,69,71,72,73,76,80,81],[5,9,11,13,14,18,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,70,71,73,75,76,77,80],[42,74],[48,75],[46,76],[54,74,75,76],[64,70],[0,4,6,7,9,11,12,14,18,19,20,23,25,26,27,28,29,32,33,35,42,43,44,45,46,49,53,56,59,60,65,66,67,70,71,73,74,75,77,80],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,49,51,52,58,60,70,74,75,77,78,80,81],[2,5,8,9,10,11,14,15,16,19,20,22,26,37,38,40,42,44,45,46,51,52,56,57,58,60,61,63,64,65,68,72,74,75,77,78,79,81],[0,1,2,3,5,7,8,9,15,16,17,19,21,22,23,26,32,33,34,35,38,40,42,43,44,47,48,54,55,56,58,59,62,64,66,71,77],[6,9,11,14,15,19,24,25,28,29,31,32,33,37,44,45,46,49,56,58,59,60,65,70,73,77,79,81],[0,2,3,4,6,9,10,15,18,20,21,23,24,26,27,29,31,33,35,38,40,41,42,46,47,48,49,50,51,52,53,56,57,58,59,62,63,67,68,73,74],[1,2,3,5,6,9,10,11,12,14,15,16,17,18,20,22,25,27,29,33,34,38,40,41,42,45,46,47,48,50,53,55,58,60,61,62,64,65,67,70,72,73,74,79,80],[0,74,77,78],[5,9,10,11,13,14,18,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,70,75,78,79,80,81],[24,71],[1,2,3,8,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,71,74,77,78],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,51,52,58,60,61,71,74,75,78,79,80,81],[0,2,4,5,6,9,10,12,15,16,18,22,23,24,25,27,28,29,32,33,35,37,40,41,42,43,46,48,51,52,53,54,57,58,59,63,66,67,68,70,72,73,75,78,80,81],[0,2,7,10,21,22,29,33,38,41,42,46,48,50,54,70,72,74,77,78],[0,1,3,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,50,51,52,54,55,59,60,70,72,75,77],[2,3,5,15,16,18,23,25,27,32,35,47,53,56,58,62,67,71,76,79],[5,9,11,13,14,18,21,22,23,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,71,75,78,79,80,81],[1,2,3,5,9,10,12,16,18,19,20,27,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,71,77,80,81],[0,2,3,4,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,35,38,41,42,46,47,48,50,53,54,56,58,62,67,70,72,76,77,79],[0,1,5,7,9,11,12,13,14,15,17,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,70,72,74,76,78],[0,1,2,5,6,7,8,9,16,17,18,19,20,21,22,27,29,31,32,34,38,41,42,43,44,50,51,52,53,54,55,57,61,63,66,67,68,70,71,73,76,77,79],[0,1,3,5,7,12,16,18,19,20,21,22,27,28,31,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,72,75,76,80,81],[19,80],[36,74,75,80],[14,17,18,19,25,27,28,29,30,32,39,42,43,44,46,49,51,56,59,60,64,70,72,79,81],[20,75,76,80],[0,2,7,9,10,14,21,22,29,33,38,41,42,46,48,50,54,70,71,78,79],[0,2,5,7,10,11,12,14,18,19,20,21,23,26,27,30,31,32,34,35,37,40,41,44,45,47,48,51,53,54,56,59,60,62,63,66,67,72,74,76,79,80,81],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,51,52,54,58,60,70,71,75,77,79,81],[69,74,75,76,77,80],[1,5,7,10,11,14,16,18,21,27,32,33,35,38,43,46,47,48,50,51,52,53,56,57,58,63,66,67,69,70,75,76,80,81],[13,75,78,80],[5,9,11,13,14,18,22,23,26,27,29,30,32,33,35,38,42,43,44,45,46,47,51,52,53,56,60,62,67,72,75,78,79,80,81],[11,74,75,76,78,80],[0,2,3,5,7,9,10,15,16,18,21,22,23,25,27,29,32,33,34,35,38,41,42,46,47,48,50,53,54,56,58,62,67,70,71,76,77,80],[1,2,4,6,8,10,12,13,14,16,17,18,20,21,22,23,24,26,29,30,31,35,36,37,40,42,43,44,45,48,50,51,52,59,60,62,67,68,69,70,71,72,73,75,77,78],[2,4,6,7,8,9,11,14,19,20,24,25,26,27,28,29,30,31,32,35,39,42,43,44,46,49,56,57,58,59,60,64,67,68,69,73,75,78,79,81],[0,2,7,9,10,21,22,29,33,38,41,42,46,48,50,52,54,78,79],[0,1,3,9,13,14,15,21,22,25,26,30,35,41,43,44,45,46,48,50,57,63,69,70,71,73,74,76,78,79,81],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,48,50,51,52,54,58,60,75,76,79,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,66,74,75,77,78,79,81],[0,1,4,6,7,8,9,11,12,14,16,20,23,24,25,26,27,28,29,32,33,35,36,38,40,41,42,43,49,50,54,56,59,60,62,64,67,68,69,71,73,74,75,81],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,41,42,43,45,48,51,52,55,59,60,70,71,72,75,77,78,79],[3,9,11,13,14,15,16,22,25,29,30,33,37,38,42,43,44,45,46,51,52,58,60,70,71,72,75,76,78,80,81],[3,4,5,6,7,8,9,13,14,15,16,17,19,20,21,24,25,26,27,29,30,31,32,34,35,39,40,42,43,44,45,46,47,48,52,53,54,56,57,59,60,68,69,75,79,80],[2,3,9,11,12,13,15,16,17,18,20,21,22,23,27,28,29,30,32,33,35,36,38,42,44,45,46,48,49,50,51,52,54,56,58,62,64,70,71,73,75,76,78,79],[0,2,5,7,10,11,12,13,14,18,21,23,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,60,62,67,75,80,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,31,32,34,37,38,39,40,42,44,47,50,53,54,55,56,59,62,67,77,78,79,80,81],[1,2,5,10,11,12,13,14,15,18,19,20,22,25,27,30,31,32,34,37,38,40,41,42,43,45,47,48,51,52,53,55,56,58,59,62,67,70,71,72,75,76,77,78],[0,3,7,10,11,12,15,16,19,20,23,25,26,29,31,34,35,37,40,41,42,43,45,46,58,59,62,66,69,70,72,73,74,75,76,80,81],[16,73],[3,9,11,13,14,16,22,25,29,30,33,38,42,43,44,45,46,51,52,58,60,73,74,75,78,80],[0,3,5,7,9,11,12,13,14,16,18,19,20,21,23,25,27,29,31,32,33,34,35,37,40,43,44,45,46,47,50,52,53,54,56,57,59,60,67,70,71,72,73,74,75,77,79,81],[1,2,4,6,8,9,10,11,12,14,15,17,20,21,22,23,26,29,30,35,36,37,38,39,40,45,46,48,49,50,52,56,61,62,64,65,67,68,69,71,72,73,74,75,78,79],[0,1,3,5,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,37,40,43,45,46,50,51,52,54,55,59,60,70,71,72,73,81],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,65,70,71,72,73,75,76,79,80,81],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,53,54,55,58,59,70,71,72,73,74,75,78,80],[1,3,4,8,11,14,15,17,19,21,22,23,26,27,30,31,33,34,36,38,39,41,44,45,47,49,50,51,52,53,55,57,58,59,61,64,65,67,69,70,72,73,75,78,79,80],[32,75,78,81],[0,1,2,5,6,7,9,10,15,21,22,23,25,29,32,33,35,38,41,42,44,46,47,48,50,54,55,56,58,65,68,72,73,76,77],[0,1,5,7,9,11,12,13,14,15,18,19,20,21,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,70,71,72,73,75,76,78,79,81],[0,2,5,7,10,11,13,14,18,21,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,60,62,67,70,71,72,73,75,80,81],[0,1,3,5,7,12,16,18,19,20,21,22,27,30,31,32,34,37,38,40,42,44,47,50,53,54,55,56,59,62,67,70,71,72,73,75,76,79,80],[0,2,7,9,10,21,22,29,33,38,41,42,46,48,50,54,56,72,73,78,79],[1,2,4,6,8,9,10,11,12,14,16,17,20,21,22,23,25,26,27,29,32,36,37,38,39,40,45,46,47,48,49,50,52,55,56,57,61,64,69,71,72,73,74,78],[0,1,7,12,15,19,20,21,22,23,25,31,34,35,37,38,40,42,44,50,54,55,58,59,68,72,73,76,77,78,80,81],[44,70,71,73],[1,2,3,10,11,12,13,14,16,19,20,22,23,30,31,34,35,37,38,40,41,42,43,45,48,51,52,55,59,60,62,70,71,73,75,77,78,79],[3,9,11,13,14,15,16,22,25,29,30,33,38,42,43,44,45,46,52,58,60,70,71,73,74,75,77,78,79,80],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,37,40,41,44,46,48,55,58,59,70,71,73,75,80],[0,1,3,5,7,9,11,12,13,14,15,18,19,20,21,25,27,29,30,31,32,33,34,37,40,43,45,46,47,50,51,52,53,54,55,56,58,59,60,62,67,72,73,74,76,77,78,81],[0,2,5,7,10,11,13,14,18,21,23,27,30,32,35,41,43,44,45,47,48,50,51,52,53,54,56,57,60,62,67,72,73,75,80,81],[58,75,76,78,79,81],[47,74,77,78,79,81],[4,5,8,11,14,17,19,21,22,23,25,26,31,33,34,35,36,38,39,41,45,47,49,50,51,52,53,55,56,58,59,61,64,68,69,70,72,75,77,78,80,81],[67,76,77,78,79,81],[1,2,3,5,6,9,10,12,16,18,19,20,27,29,31,32,33,34,37,40,41,44,46,47,48,53,55,56,59,62,67,70,71,73,77,80,81]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,63],"A_d":1146,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,2],[2,2],[3,2],[4,1],[5,2],[6,1],[7,3],[8,1],[9,2],[10,2],[11,3],[12,2],[13,3],[14,3],[15,3],[16,2],[17,1],[18,2],[19,2],[20,2],[21,3],[22,1],[23,1],[24,1],[25,2],[26,1],[27,2],[28,1],[29,2],[30,3],[31,2],[32,2],[33,2],[34,2],[35,1],[36,1],[37,2],[38,1],[39,1],[40,2],[41,2],[42,1],[43,3],[44,2],[45,3],[46,2],[47,2],[48,2],[49,1],[50,2],[51,3],[52,3],[53,2],[54,3],[55,2],[56,2],[57,1],[58,3],[59,2],[60,3],[61,1],[62,2],[63,1],[64,1],[65,1],[66,1],[67,2],[68,1],[69,1],[70,2],[71,2],[72,1],[73,1],[75,2],[76,2],[77,1],[79,2],[80,1],[81,1]],"CZ":[[0,1],[0,2],[0,3],[0,5],[0,9],[0,10],[0,12],[0,16],[0,18],[0,19],[0,20],[0,25],[0,27],[0,29],[0,31],[0,32],[0,33],[0,34],[0,37],[0,40],[0,41],[0,44],[0,46],[0,47],[0,48],[0,50],[0,53],[0,55],[0,56],[0,59],[0,62],[0,67],[0,72],[0,73],[0,77],[0,80],[0,81],[1,5],[1,7],[1,9],[1,11],[1,12],[1,13],[1,14],[1,15],[1,18],[1,19],[1,20],[1,21],[1,27],[1,29],[1,30],[1,31],[1,32],[1,33],[1,34],[1,37],[1,40],[1,43],[1,45],[1,46],[1,47],[1,50],[1,51],[1,52],[1,53],[1,54],[1,55],[1,56],[1,58],[1,59],[1,60],[1,62],[1,67],[1,70],[1,71],[1,72],[1,73],[1,75],[1,76],[1,77],[1,79],[2,3],[2,7],[2,10],[2,11],[2,13],[2,14],[2,15],[2,16],[2,21],[2,25],[2,30],[2,41],[2,43],[2,44],[2,45],[2,48],[2,51],[2,52],[2,54],[2,58],[2,60],[2,70],[2,71],[2,75],[2,76],[2,79],[2,80],[2,81],[3,7],[3,10],[3,11],[3,13],[3,14],[3,15],[3,16],[3,21],[3,25],[3,30],[3,41],[3,43],[3,44],[3,45],[3,48],[3,51],[3,52],[3,54],[3,58],[3,60],[3,70],[3,71],[3,75],[3,76],[3,79],[3,80],[3,81],[5,7],[5,9],[5,11],[5,12],[5,13],[5,14],[5,15],[5,18],[5,19],[5,20],[5,21],[5,27],[5,29],[5,30],[5,31],[5,32],[5,33],[5,34],[5,37],[5,40],[5,43],[5,45],[5,46],[5,47],[5,50],[5,51],[5,52],[5,53],[5,54],[5,55],[5,56],[5,58],[5,59],[5,60],[5,62],[5,67],[5,70],[5,71],[5,72],[5,73],[5,75],[5,76],[5,77],[5,79],[7,9],[7,10],[7,12],[7,16],[7,18],[7,19],[7,20],[7,25],[7,27],[7,29],[7,31],[7,32],[7,33],[7,34],[7,37],[7,40],[7,41],[7,44],[7,46],[7,47],[7,48],[7,50],[7,53],[7,55],[7,56],[7,59],[7,62],[7,67],[7,72],[7,73],[7,77],[7,80],[7,81],[9,11],[9,12],[9,13],[9,14],[9,15],[9,18],[9,19],[9,20],[9,21],[9,27],[9,29],[9,30],[9,31],[9,32],[9,33],[9,34],[9,37],[9,40],[9,43],[9,45],[9,46],[9,47],[9,50],[9,51],[9,52],[9,53],[9,54],[9,55],[9,56],[9,58],[9,59],[9,60],[9,62],[9,67],[9,70],[9,71],[9,72],[9,73],[9,75],[9,76],[9,77],[9,79],[10,11],[10,13],[10,14],[10,15],[10,16],[10,21],[10,25],[10,30],[10,41],[10,43],[10,44],[10,45],[10,48],[10,51],[10,52],[10,54],[10,58],[10,60],[10,70],[10,71],[10,75],[10,76],[10,79],[10,80],[10,81],[11,12],[11,16],[11,18],[11,19],[11,20],[11,25],[11,27],[11,29],[11,31],[11,32],[11,33],[11,34],[11,37],[11,40],[11,41],[11,44],[11,46],[11,47],[11,48],[11,50],[11,53],[11,55],[11,56],[11,59],[11,62],[11,67],[11,72],[11,73],[11,77],[11,80],[11,81],[12,13],[12,14],[12,15],[12,18],[12,19],[12,20],[12,21],[12,27],[12,29],[12,30],[12,31],[12,32],[12,33],[12,34],[12,37],[12,40],[12,43],[12,45],[12,46],[12,47],[12,50],[12,51],[12,52],[12,53],[12,54],[12,55],[12,56],[12,58],[12,59],[12,60],[12,62],[12,67],[12,70],[12,71],[12,72],[12,73],[12,75],[12,76],[12,77],[12,79],[13,16],[13,18],[13,19],[13,20],[13,25],[13,27],[13,29],[13,31],[13,32],[13,33],[13,34],[13,37],[13,40],[13,41],[13,44],[13,46],[13,47],[13,48],[13,50],[13,53],[13,55],[13,56],[13,59],[13,62],[13,67],[13,72],[13,73],[13,77],[13,80],[13,81],[14,16],[14,18],[14,19],[14,20],[14,25],[14,27],[14,29],[14,31],[14,32],[14,33],[14,34],[14,37],[14,40],[14,41],[14,44],[14,46],[14,47],[14,48],[14,50],[14,53],[14,55],[14,56],[14,59],[14,62],[14,67],[14,72],[14,73],[14,77],[14,80],[14,81],[15,16],[15,18],[15,19],[15,20],[15,25],[15,27],[15,29],[15,31],[15,32],[15,33],[15,34],[15,37],[15,40],[15,41],[15,44],[15,46],[15,47],[15,48],[15,50],[15,53],[15,55],[15,56],[15,59],[15,62],[15,67],[15,72],[15,73],[15,77],[15,80],[15,81],[16,21],[16,25],[16,30],[16,41],[16,43],[16,44],[16,45],[16,48],[16,51],[16,52],[16,54],[16,58],[16,60],[16,70],[16,71],[16,75],[16,76],[16,79],[16,80],[16,81],[18,19],[18,20],[18,21],[18,27],[18,29],[18,30],[18,31],[18,32],[18,33],[18,34],[18,37],[18,40],[18,43],[18,45],[18,46],[18,47],[18,50],[18,51],[18,52],[18,53],[18,54],[18,55],[18,56],[18,58],[18,59],[18,60],[18,62],[18,67],[18,70],[18,71],[18,72],[18,73],[18,75],[18,76],[18,77],[18,79],[19,20],[19,21],[19,27],[19,29],[19,30],[19,31],[19,32],[19,33],[19,34],[19,37],[19,40],[19,43],[19,45],[19,46],[19,47],[19,50],[19,51],[19,52],[19,53],[19,54],[19,55],[19,56],[19,58],[19,59],[19,60],[19,62],[19,67],[19,70],[19,71],[19,72],[19,73],[19,75],[19,76],[19,77],[19,79],[20,21],[20,27],[20,29],[20,30],[20,31],[20,32],[20,33],[20,34],[20,37],[20,40],[20,43],[20,45],[20,46],[20,47],[20,50],[20,51],[20,52],[20,53],[20,54],[20,55],[20,56],[20,58],[20,59],[20,60],[20,62],[20,67],[20,70],[20,71],[20,72],[20,73],[20,75],[20,76],[20,77],[20,79],[21,25],[21,27],[21,29],[21,31],[21,32],[21,33],[21,34],[21,37],[21,40],[21,41],[21,44],[21,46],[21,47],[21,48],[21,50],[21,53],[21,55],[21,56],[21,59],[21,62],[21,67],[21,72],[21,73],[21,77],[21,80],[21,81],[25,30],[25,41],[25,43],[25,44],[25,45],[25,48],[25,51],[25,52],[25,54],[25,58],[25,60],[25,70],[25,71],[25,75],[25,76],[25,79],[25,80],[25,81],[27,29],[27,30],[27,31],[27,32],[27,33],[27,34],[27,37],[27,40],[27,43],[27,45],[27,46],[27,47],[27,50],[27,51],[27,52],[27,53],[27,54],[27,55],[27,56],[27,58],[27,59],[27,60],[27,62],[27,67],[27,70],[27,71],[27,72],[27,73],[27,75],[27,76],[27,77],[27,79],[29,30],[29,31],[29,32],[29,33],[29,34],[29,37],[29,40],[29,43],[29,45],[29,46],[29,47],[29,50],[29,51],[29,52],[29,53],[29,54],[29,55],[29,56],[29,58],[29,59],[29,60],[29,62],[29,67],[29,70],[29,71],[29,72],[29,73],[29,75],[29,76],[29,77],[29,79],[30,31],[30,32],[30,33],[30,34],[30,37],[30,40],[30,41],[30,44],[30,46],[30,47],[30,48],[30,50],[30,53],[30,55],[30,56],[30,59],[30,62],[30,67],[30,72],[30,73],[30,77],[30,80],[30,81],[31,32],[31,33],[31,34],[31,37],[31,40],[31,43],[31,45],[31,46],[31,47],[31,50],[31,51],[31,52],[31,53],[31,54],[31,55],[31,56],[31,58],[31,59],[31,60],[31,62],[31,67],[31,70],[31,71],[31,72],[31,73],[31,75],[31,76],[31,77],[31,79],[32,33],[32,34],[32,37],[32,40],[32,43],[32,45],[32,46],[32,47],[32,50],[32,51],[32,52],[32,53],[32,54],[32,55],[32,56],[32,58],[32,59],[32,60],[32,62],[32,67],[32,70],[32,71],[32,72],[32,73],[32,75],[32,76],[32,77],[32,79],[33,34],[33,37],[33,40],[33,43],[33,45],[33,46],[33,47],[33,50],[33,51],[33,52],[33,53],[33,54],[33,55],[33,56],[33,58],[33,59],[33,60],[33,62],[33,67],[33,70],[33,71],[33,72],[33,73],[33,75],[33,76],[33,77],[33,79],[34,37],[34,40],[34,43],[34,45],[34,46],[34,47],[34,50],[34,51],[34,52],[34,53],[34,54],[34,55],[34,56],[34,58],[34,59],[34,60],[34,62],[34,67],[34,70],[34,71],[34,72],[34,73],[34,75],[34,76],[34,77],[34,79],[37,40],[37,43],[37,45],[37,46],[37,47],[37,50],[37,51],[37,52],[37,53],[37,54],[37,55],[37,56],[37,58],[37,59],[37,60],[37,62],[37,67],[37,70],[37,71],[37,72],[37,73],[37,75],[37,76],[37,77],[37,79],[40,43],[40,45],[40,46],[40,47],[40,50],[40,51],[40,52],[40,53],[40,54],[40,55],[40,56],[40,58],[40,59],[40,60],[40,62],[40,67],[40,70],[40,71],[40,72],[40,73],[40,75],[40,76],[40,77],[40,79],[41,43],[41,44],[41,45],[41,48],[41,51],[41,52],[41,54],[41,58],[41,60],[41,70],[41,71],[41,75],[41,76],[41,79],[41,80],[41,81],[43,44],[43,46],[43,47],[43,48],[43,50],[43,53],[43,55],[43,56],[43,59],[43,62],[43,67],[43,72],[43,73],[43,77],[43,80],[43,81],[44,45],[44,48],[44,51],[44,52],[44,54],[44,58],[44,60],[44,70],[44,71],[44,75],[44,76],[44,79],[44,80],[44,81],[45,46],[45,47],[45,48],[45,50],[45,53],[45,55],[45,56],[45,59],[45,62],[45,67],[45,72],[45,73],[45,77],[45,80],[45,81],[46,47],[46,50],[46,51],[46,52],[46,53],[46,54],[46,55],[46,56],[46,58],[46,59],[46,60],[46,62],[46,67],[46,70],[46,71],[46,72],[46,73],[46,75],[46,76],[46,77],[46,79],[47,50],[47,51],[47,52],[47,53],[47,54],[47,55],[47,56],[47,58],[47,59],[47,60],[47,62],[47,67],[47,70],[47,71],[47,72],[47,73],[47,75],[47,76],[47,77],[47,79],[48,51],[48,52],[48,54],[48,58],[48,60],[48,70],[48,71],[48,75],[48,76],[48,79],[48,80],[48,81],[50,51],[50,52],[50,53],[50,54],[50,55],[50,56],[50,58],[50,59],[50,60],[50,62],[50,67],[50,70],[50,71],[50,72],[50,73],[50,75],[50,76],[50,77],[50,79],[51,53],[51,55],[51,56],[51,59],[51,62],[51,67],[51,72],[51,73],[51,77],[51,80],[51,81],[52,53],[52,55],[52,56],[52,59],[52,62],[52,67],[52,72],[52,73],[52,77],[52,80],[52,81],[53,54],[53,55],[53,56],[53,58],[53,59],[53,60],[53,62],[53,67],[53,70],[53,71],[53,72],[53,73],[53,75],[53,76],[53,77],[53,79],[54,55],[54,56],[54,59],[54,62],[54,67],[54,72],[54,73],[54,77],[54,80],[54,81],[55,56],[55,58],[55,59],[55,60],[55,62],[55,67],[55,70],[55,71],[55,72],[55,73],[55,75],[55,76],[55,77],[55,79],[56,58],[56,59],[56,60],[56,62],[56,67],[56,70],[56,71],[56,72],[56,73],[56,75],[56,76],[56,77],[56,79],[58,59],[58,62],[58,67],[58,72],[58,73],[58,77],[58,80],[58,81],[59,60],[59,62],[59,67],[59,70],[59,71],[59,72],[59,73],[59,75],[59,76],[59,77],[59,79],[60,62],[60,67],[60,72],[60,73],[60,77],[60,80],[60,81],[62,67],[62,70],[62,71],[62,72],[62,73],[62,75],[62,76],[62,77],[62,79],[67,70],[67,71],[67,72],[67,73],[67,75],[67,76],[67,77],[67,79],[70,72],[70,73],[70,77],[70,80],[70,81],[71,72],[71,73],[71,77],[71,80],[71,81],[72,73],[72,75],[72,76],[72,77],[72,79],[73,75],[73,76],[73,77],[73,79],[75,77],[75,80],[75,81],[76,77],[76,80],[76,81],[77,79],[79,80],[79,81],[80,81]]},"rotation_powers":[[0,7],[2,7],[8,7],[9,3],[10,7],[13,3],[14,7],[15,5],[16,3],[18,7],[22,3],[23,7],[25,3],[26,5],[27,5],[28,5],[30,5],[31,7],[32,3],[33,5],[34,3],[35,5],[36,7],[37,5],[38,7],[39,5],[41,7],[42,7],[44,7],[45,7],[46,3],[47,5],[48,7],[49,3],[54,3],[55,7],[56,7],[59,7],[60,7],[61,5],[63,7],[66,7],[67,7],[70,3],[71,7],[72,7],[79,3],[80,5],[85,3],[89,3],[90,7],[91,3],[93,3],[94,3],[95,3],[96,3],[97,3],[98,3],[101,3],[102,3],[107,3],[109,3],[110,3],[112,3],[113,3],[114,3],[115,3],[118,3],[119,3],[120,3],[121,3],[126,3],[128,3],[130,3],[132,3],[134,3],[140,3],[142,3],[145,3],[148,3],[150,3],[152,3],[153,3],[158,5],[159,3],[160,3],[162,3],[163,3],[165,7],[167,3],[168,3],[169,3],[170,3],[171,3],[173,3],[174,3],[176,3],[178,3],[182,3],[183,5],[184,3],[187,3],[188,3],[189,3],[191,3],[196,3],[197,3],[198,3],[200,3],[202,3],[203,3],[206,3],[210,3],[212,3],[213,3],[214,3],[215,3],[216,3],[218,3],[219,3],[222,3],[223,3],[224,3],[227,3],[230,3],[231,3],[233,3],[236,3],[237,3],[238,3],[245,3],[250,3],[252,3],[258,3],[260,3],[262,3],[265,3],[266,3],[267,3],[269,3],[271,3],[273,3],[276,3],[278,3],[280,3],[284,3],[288,3],[289,3],[291,3],[293,3],[294,3],[295,3],[296,3],[300,3],[301,3],[304,3],[306,3],[309,3]]},"metrics":{"gamma":1.3545061080955925,"gamma_t":null,"gamma_rho":1.3545061080955925,"gamma_claim":1.3545061080955925,"gamma_t_claim":null,"gamma_rho_claim":1.3545061080955925,"v_ex":70,"rate":0.22580645161290322,"t_count":null,"poly_degree":null,"effective_width":70},"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_310_70_3_f48149679903.json","label":"paired_column_contraction_310_70_3_f48149679903","N":82,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_310_70_3_f48149679903 (source catalogue id paired_column_contraction_310_70_3_f48149679903); construction: Existing triorthogonal code with physical paired-column contraction; matrix f4814967990351e2...; the release states d=3 (exact), gamma=1.3545061080955925 (exact)","notes":"matrix gamma_frontier_release/matrices/f4814967990351e26348a55f6a5f9d159b4745bf7bb9922000aa2e30ee80f417.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"}]}