{"id":"311.71.3.a","row":965,"stored":{"file":"master_catalog.json","row":965,"construction":null,"columns_sha256":null},"parameters":{"n":311,"k":71,"d":3,"N":83,"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+70","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\u00b7T70","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],[70]],"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],[70]],"sk_fingerprint":"41368044056a8b31","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[42,71],[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,72,73,76,78],[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,72,73,76,77,80,81,82],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,54,55,58,59,71,77,78,80,81,82],[64,78],[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,72,74,76,78,79,80,81],[0,1,3,5,7,8,10,14,15,19,20,22,33,37,38,40,43,46,48,51,52,55,56,57,58,60,61,62,63,64,65,66,68,69,70,74,76,80,81,82],[1,8,10,17,18,19,25,26,27,29,34,40,41,43,44,46,50,53,55,59,64,66,67,73,77,78],[0,1,2,3,5,6,7,9,11,13,15,16,18,19,22,23,24,25,26,27,28,30,31,33,35,37,38,44,45,47,48,49,51,52,53,55,58,59,65,66,67,69,70,71,73,76,77,78,79],[1,2,3,7,8,9,10,11,14,15,16,17,18,21,24,25,29,31,32,35,36,37,38,39,45,46,48,50,51,53,54,55,58,59,61,62,63,64,67,68,69,71,72,73,81],[0,1,2,3,4,5,7,8,12,13,14,18,21,22,23,25,29,30,32,33,34,36,37,38,39,41,42,46,48,49,51,53,55,56,57,65,66,67,70,74,76,79,82],[0,2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,71,72,74,75,76,77,78,80,82],[0,1,2,3,5,7,13,14,16,18,22,23,26,27,29,30,32,33,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,73,74,75,76,77,78,79,80,82],[10,77,78,79],[1,5,10,11,15,18,21,23,25,26,27,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,72,74,77,78,79,81],[24,80],[0,1,2,3,4,5,6,9,11,12,15,18,21,23,24,25,26,27,28,32,33,35,37,38,40,42,44,45,48,50,51,52,53,55,57,58,59,62,63,67,68,69,70,71,73,75,76,79,82],[7,76,78,80],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,39,41,42,43,48,49,50,52,53,55,57,59,61,64,66,67,70,72,73,75,76,77,79,81,82],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,42,45,46,48,49,51,53,54,57,60,61,64,66,67,70,71,76,77,78,79,81,82],[2,75,79,80],[0,1,2,5,7,9,11,15,18,23,25,26,27,32,33,35,42,43,44,45,47,48,50,53,55,56,58,66,67,69,70,71,72,74,75,81],[21,77,79,80],[29,75,76,77,79,80],[0,1,2,6,7,8,11,13,14,16,17,19,20,21,23,30,31,33,34,35,41,45,46,47,50,54,55,56,57,60,61,62,63,66,68,71,74,75,76,80,81,82],[19,73],[0,1,3,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,36,37,40,43,45,46,50,51,52,54,55,59,60,71,72,76,78],[1,4,5,6,8,10,12,16,23,27,28,30,31,32,33,34,36,42,44,51,52,53,54,55,56,57,60,61,66,67,70,72,76,77,78,80],[1,2,9,10,12,15,19,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,73,77,78,80,81,82],[14,75,78,81],[1,5,10,11,12,13,15,18,19,20,21,22,23,25,27,29,31,32,34,35,37,38,40,41,44,45,46,47,52,53,54,55,56,58,59,63,67,69,70,71,73,74,76,77,78,80],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,41,42,45,46,48,49,51,53,54,57,60,61,64,66,67,69,70,71,72,73,75,79,80,81,82],[0,2,4,5,6,8,10,12,13,14,17,18,19,25,29,30,31,34,36,38,39,41,43,44,45,49,52,53,55,58,59,60,61,62,63,64,67,69,70,71,76,77,78,79,82],[0,2,4,6,7,8,9,10,11,12,13,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,72,74,78,79,80,82],[26,77,79,81],[3,4,6,8,9,11,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,73,74,76,77,78,79,81],[1,2,10,11,13,15,18,19,20,23,24,27,29,30,32,33,34,37,38,39,40,41,42,43,47,48,49,51,56,57,58,60,61,62,64,67,68,72,75,78,81,82],[0,2,3,4,5,6,8,10,11,12,13,15,16,18,22,24,28,29,33,34,35,37,38,39,40,41,42,43,46,47,49,51,52,53,57,64,66,68,70,71,76,77,80,82],[1,5,10,11,15,18,21,22,23,25,26,27,29,31,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,72,73,74,75,77,78,79],[52,75,80,81],[0,3,10,22,33,35,42,43,44,45,46,48,51,52,54,55,57,58,60,62,63,66,70,72,73,76,77,80,81],[45,77,80,81],[2,3,5,9,13,14,15,16,17,18,19,20,21,24,25,26,27,28,30,31,32,34,35,38,39,40,42,43,44,45,46,48,51,53,54,55,56,57,58,61,62,66,68,69,70,71,74,76,77,81,82],[40,75,76,78,80,81],[37,75,77,78,80,81],[2,7,9,11,14,15,16,18,19,21,22,24,26,27,31,32,33,34,36,37,38,41,43,44,47,49,51,52,56,59,61,64,66,67,68,69,70,73,75,77,78,79,80,81,82],[0,1,3,4,6,7,8,9,15,18,19,20,22,23,25,28,31,34,38,39,41,42,47,52,54,55,57,58,59,60,61,66,70,74,75,76,77,78,81],[0,2,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,61,64,69,71,74,75,76,78,81,82],[12,75,77,79,80,81],[39,76,77,79,80,81],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,63,66,67,69,70,71,73,74,76,77,79,81,82],[60,76,78,79,80,81],[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,72,74,75,78,81],[1,5,10,11,15,18,21,22,23,25,26,27,29,32,35,38,41,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,73,74,77,78,79,80],[16,82],[0,3,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,71,72,73,74,75,78,82],[0,2,4,6,7,8,9,12,14,16,17,19,21,22,23,27,30,31,32,34,36,38,39,41,42,43,44,47,48,49,50,51,52,56,59,61,64,66,70,73,77,78,79,81,82],[0,3,5,7,9,10,13,14,18,19,20,22,26,31,33,34,35,37,38,40,41,44,51,52,53,55,56,57,58,59,60,62,65,66,68,69,70,72,75,76,77,79,82],[65,77,78,82],[0,1,3,4,5,7,8,10,12,14,15,17,18,20,21,22,23,29,30,32,33,36,37,38,39,40,42,43,44,46,49,50,51,52,55,56,57,58,61,64,65,66,70,74,77,78,79,80,81],[0,2,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,72,73,78,79,80,82],[0,4,5,7,8,11,14,15,16,17,20,26,27,33,35,36,37,39,40,41,42,44,45,49,52,54,57,58,61,64,65,68,69,71,73,74,77,78,79,80,81,82],[3,4,6,8,9,12,13,17,19,21,25,26,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,75,78,81,82],[0,2,3,4,5,6,7,8,9,10,11,12,14,17,18,19,23,26,29,31,34,36,39,42,44,45,46,48,49,52,53,54,57,59,61,62,64,67,69,72,73,74,77,78,79,82],[0,1,2,3,5,7,13,14,16,18,22,23,25,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,71,73,76,77,78,79,80],[23,75,77,78,79,82],[56,75,80,82],[3,4,6,8,9,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,73,75,78,82],[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,73,74,76,81],[68,75,76,77,80,82],[44,78,80,82],[62,75,76,78,80,82],[1,2,3,4,6,8,10,13,15,17,20,21,23,26,27,30,32,33,36,37,39,40,42,43,44,47,48,49,50,51,56,57,58,60,61,64,69,72,76],[57,75,77,79,80,82],[3,4,6,8,9,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,58,59,60,61,64,69,72,76,77,78,79,81],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,48,50,53,54,56,59,66,67,69,70,71,75,76,77,78,80,82],[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,72,73,74,76,77,78,79,80,81],[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,69,70,72,73,75,78,81],[6,75,76,77,78,79,80,82],[1,3,4,5,6,8,9,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,66,67,70,72,75,77,79],[1,2,3,5,8,9,13,14,15,17,20,21,25,26,27,28,30,31,32,34,35,36,39,41,42,43,48,50,51,55,56,57,58,61,64,65,70,71,72,73,74,75,77,78,80,81],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,50,52,53,55,57,59,61,64,66,67,70,71,73,75,76,78,79,80,81,82],[0,1,2,4,6,7,10,11,13,14,15,17,18,19,25,29,30,35,36,39,41,42,43,45,49,52,53,54,55,56,58,62,63,65,67,68,69,72,74,75,76,79],[2,3,4,6,13,15,18,19,20,21,23,25,29,30,32,33,34,36,37,39,41,42,46,47,48,49,51,53,56,57,58,59,60,61,66,67,69,73,74,76,77,78,79,80,82],[1,3,4,5,8,10,12,13,14,17,18,22,23,24,25,28,29,30,32,33,34,36,37,38,39,42,46,51,53,54,55,56,57,61,64,65,66,67,70,72,74,76,77,80,82],[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,74,77,79],[0,1,2,5,6,7,9,14,17,18,19,22,23,26,27,31,33,35,37,38,43,47,48,50,53,55,59,60,61,64,65,66,67,69,70,77,78,81,82],[33,76,78,79],[0,3,5,7,9,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,70,73,74,75,77,79,81],[22,75,76,77,78,79],[24,72,80],[0,1,3,7,8,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,71,73,76,78],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,61,71,73,76,77,80,81,82],[0,3,4,5,6,10,11,18,19,20,21,24,26,27,28,29,31,32,34,38,41,42,45,46,50,51,52,53,57,62,63,67,68,69,70,71,72,73,75,76,77,78,79,80,81],[1,3,4,5,6,8,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,71,75,77,78,79],[0,4,5,6,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,72,73,75,77,78,79,80],[38,77,78,80],[41,75,76,77,78,80],[1,3,4,6,8,10,13,15,17,20,21,23,26,27,30,32,33,36,37,39,40,42,43,44,47,48,49,50,51,55,56,57,58,60,61,64,69,71,72,74,75,76,82],[1,4,5,6,8,10,12,14,16,17,18,19,23,25,29,31,33,34,36,39,43,46,49,50,52,53,54,55,57,59,61,64,66,67,70,71,72,73,75,78,79,80,81,82],[0,1,4,6,7,8,11,14,16,17,20,21,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,73,74,80,81],[3,4,6,8,9,12,13,17,19,21,25,26,27,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,72,74,75,78,80,81],[2,4,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,74,75,76,77,78,80,82],[0,1,2,3,5,7,13,14,16,17,18,22,23,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,71,72,73,74,75,77,80,82],[1,2,3,5,6,8,9,10,11,12,15,17,18,21,22,23,25,26,27,32,35,37,38,40,44,45,46,50,51,52,53,54,55,57,58,59,61,62,63,67,68,69,70,72,73,76,78,80,82],[1,5,10,11,15,18,21,22,23,25,26,27,28,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,74,75,76,81],[0,1,2,3,4,5,6,7,8,11,12,13,14,15,21,23,25,27,28,31,32,33,34,36,41,42,43,45,48,50,53,55,56,57,58,61,66,67,70,71,78,81,82],[1,3,4,5,6,8,9,10,11,12,13,14,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,71,72,73,77,79,81],[0,1,4,6,7,8,11,12,13,14,16,17,19,23,25,27,31,32,33,34,36,39,41,42,43,45,47,49,50,54,55,56,57,59,61,63,64,66,69,71,73,74,75,78,79,80],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,52,53,55,57,59,61,64,66,67,70,75,76,78,79,80,81,82],[0,1,3,5,12,14,15,18,19,20,21,23,25,26,27,29,31,32,33,34,37,38,40,41,42,45,47,48,50,51,52,53,56,57,59,62,63,67,70,73,74,77,78,80],[0,1,4,6,7,8,11,14,16,17,20,23,25,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,72,74],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,72,73,74,75,76,77,78,80,82],[0,3,5,7,10,11,14,15,16,19,20,22,24,26,33,34,35,37,39,40,41,42,43,46,49,52,53,55,57,58,61,62,64,66,68,69,70,71,72,74,77,78,80,81],[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,74,75,76,77,78,80,81,82],[31,76,77,78,79,81],[52,71,72,73,75,80,81],[1,7,9,10,11,12,13,14,16,19,20,21,22,23,29,30,31,34,37,40,42,44,48,50,57,58,59,62,63,66,70,72,73,77,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,76,82],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,66,71,72,73,77,78,80,81,82],[1,2,4,6,8,10,11,12,14,16,20,21,22,23,24,25,26,27,28,32,35,36,40,43,46,48,49,56,59,60,62,64,67,68,69,71,73,74,75,76,78,79,81,82],[0,4,5,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,71,72,77,78,79,80,81],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,37,38,39,41,42,43,48,49,50,52,53,55,57,59,61,64,66,67,70,71,72,76,77,79,82],[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,77,78],[0,2,7,9,10,13,17,18,19,21,22,25,26,27,28,30,31,32,33,34,36,37,38,40,41,43,44,48,49,50,51,52,54,56,59,64,66,69,70,72,73,75,77,78,79,80,81,82],[59,75,76,79,80,81],[3,4,6,8,9,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,72,73,74,78,80],[63,75,78,79,80,81],[0,1,2,3,5,7,13,14,16,18,22,23,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,66,67,69,70,72,74,75,76,77,78,79,81,82],[43,75,76,77,78,79,80,81],[16,74,82],[1,75,76,82],[0,2,3,7,10,11,13,14,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,71,72,73,74,76,77,80,81,82],[0,1,4,6,7,8,10,14,15,16,17,20,21,22,25,27,29,30,32,33,35,36,37,38,39,40,42,43,46,47,49,50,51,52,55,56,58,61,64,66,70,73,74,79,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,71,74,76,78,82],[0,4,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,73,74,75,76,77,79],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,50,52,53,55,57,59,61,64,65,66,67,70,73,74,75,76,77,79,80,81],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,41,42,45,46,48,49,51,54,57,60,61,64,66,67,70,71,72,74,75,79,80,81,82],[0,2,5,6,7,12,13,14,18,22,26,27,29,38,46,47,48,52,60,65,66,69,70,71,74,76,77,78,81,82],[1,5,6,15,23,25,32,35,44,47,55,56,58,65,68,71,72,74,78,80,82],[27,75,76,77,79,82],[0,3,4,6,7,8,10,14,17,20,21,22,23,27,29,32,33,36,37,38,39,40,42,43,44,46,47,49,50,52,56,57,61,62,64,66,70,73,74,75,76,79,80],[25,75,76,78,79,82],[0,3,5,7,9,10,12,13,14,15,16,18,19,20,22,23,25,26,27,30,31,32,33,34,37,38,40,41,44,47,51,52,53,56,58,59,60,66,67,69,70,71,73,77,79,81,82],[1,5,10,11,15,18,21,22,23,25,26,27,29,30,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,72,75,76,81],[56,71,72,74,75,80,82],[0,1,4,6,7,8,11,12,14,16,17,20,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,71,74,75,76,82],[18,77,80,82],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,68,71,72,74,75,76,78,81],[1,3,4,5,6,8,9,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,74,75,77,79,80,82],[0,4,5,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,62,64,66,67,70,71,72,73,74,77,78,79,80,82],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,50,51,52,53,55,57,59,61,64,66,67,70,71,72,73,74,75,76,78,79,80,81,82],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,36,37,38,39,40,41,42,45,46,48,49,51,53,54,57,60,61,64,66,67,70,74,75,79,80,81,82],[55,79,80,82],[0,2,3,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,71,73,78,79,80,82],[0,1,4,6,7,8,11,14,16,17,20,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,61,64,69,71,73,75,80,81,82],[0,3,4,5,7,8,10,12,14,15,16,17,20,21,22,29,33,36,37,38,39,40,42,43,46,47,49,50,51,52,53,55,56,61,62,64,66,68,70,74,75,76,78,79,81,82],[1,5,6,10,11,15,18,21,22,23,25,26,27,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,77,78,79,80,81,82],[42,71,75],[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,72,73,78],[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,72,73,76,80,81,82],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,54,55,58,59,71,75,76,78,80,81,82],[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,72,74,75,79,80,81],[49,75,77,78],[0,1,3,5,7,8,10,14,15,19,20,22,33,37,38,40,43,46,48,51,52,55,56,57,58,60,61,62,63,64,65,66,68,69,70,74,77,78,80,81,82],[1,8,10,17,18,19,25,26,27,29,34,40,41,43,44,46,50,53,55,59,64,66,67,73,77,78,79],[0,1,2,3,5,6,7,9,11,13,15,16,18,19,22,23,24,25,26,27,28,30,31,33,35,37,38,44,45,47,48,49,51,52,53,55,58,59,65,66,67,69,70,71,73,75,77,78],[1,2,3,7,8,9,10,11,14,15,16,17,18,21,24,25,29,31,32,35,36,37,38,39,45,46,48,50,51,53,54,55,58,59,61,62,63,64,67,68,69,71,72,73,75,77,79,81],[0,1,2,3,4,5,7,8,12,13,14,18,21,22,23,25,29,30,32,33,34,36,37,38,39,41,42,46,48,49,51,53,55,56,57,65,66,67,70,74,77,82],[0,2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,71,72,74,76,77,79,80,82],[0,1,2,3,5,7,13,14,16,18,22,23,26,27,29,30,32,33,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,73,74,75,77,80,82],[1,5,10,11,15,18,21,23,25,26,27,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,72,74,75,76,81],[8,75,76,80],[61,75,77,80],[0,1,2,3,4,5,6,9,11,12,15,18,21,23,24,25,26,27,28,32,33,35,37,38,40,42,44,45,48,50,51,52,53,55,57,58,59,62,63,67,68,69,70,71,73,75,77,79,80,82],[9,75,78,80],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,39,41,42,43,48,49,50,52,53,55,57,59,61,64,66,67,70,72,73,75,76,78,79,80,81,82],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,42,45,46,48,49,51,53,54,57,60,61,64,66,67,70,71,75,79,80,81,82],[0,1,2,5,7,9,11,15,18,23,25,26,27,32,33,35,42,43,44,45,47,48,50,53,55,56,58,66,67,69,70,71,72,74,75,76,79,80,81],[4,78,79,80],[17,75,76,78,79,80],[0,1,2,6,7,8,11,13,14,16,17,19,20,21,23,30,31,33,34,35,41,45,46,47,50,54,55,56,57,60,61,62,63,66,68,71,74,76,77,78,79,81,82],[28,76,77,78,79,80],[19,73,81],[0,1,3,7,9,11,12,13,14,16,19,20,21,23,29,30,31,33,34,35,36,37,40,43,45,46,50,51,52,54,55,59,60,71,72,75,78,81],[1,4,5,6,8,10,12,16,23,27,28,30,31,32,33,34,36,42,44,51,52,53,54,55,56,57,60,61,66,67,70,72,75,76,78,80,81],[1,2,9,10,12,15,19,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,73,76,78,80,82],[1,5,10,11,12,13,15,18,19,20,21,22,23,25,27,29,31,32,34,35,37,38,40,41,44,45,46,47,52,53,54,55,56,58,59,63,67,69,70,71,73,74,77,80,81],[50,77,78,81],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,41,42,45,46,48,49,51,53,54,57,60,61,64,66,67,69,70,71,72,73,76,77,78,79,80,82],[0,2,4,5,6,8,10,12,13,14,17,18,19,25,29,30,31,34,36,38,39,41,43,44,45,49,52,53,55,58,59,60,61,62,63,64,67,69,70,71,75,76,77,78,81,82],[0,2,4,6,7,8,9,10,11,12,13,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,72,74,76,78,80,81,82],[3,4,6,8,9,11,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,73,74,75,78],[34,78,79,81],[1,2,10,11,13,15,18,19,20,23,24,27,29,30,32,33,34,37,38,39,40,41,42,43,47,48,49,51,56,57,58,60,61,62,64,67,68,72,76,79,82],[0,2,3,4,5,6,8,10,11,12,13,15,16,18,22,24,28,29,33,34,35,37,38,39,40,41,42,43,46,47,49,51,52,53,57,64,66,68,70,71,75,76,78,79,80,81,82],[1,5,10,11,15,18,21,22,23,25,26,27,29,31,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,72,73,74,75,76,81],[0,3,10,22,33,35,42,43,44,45,46,48,51,52,54,55,57,58,60,62,63,66,70,72,73,77],[66,75,76,77,80,81],[2,3,5,9,13,14,15,16,17,18,19,20,21,24,25,26,27,28,30,31,32,34,35,38,39,40,42,43,44,45,46,48,51,53,54,55,56,57,58,61,62,66,68,69,70,71,74,76,77,78,80,82],[2,7,9,11,14,15,16,18,19,21,22,24,26,27,31,32,33,34,36,37,38,41,43,44,47,49,51,52,56,59,61,64,66,67,68,69,70,73,75,76,79,82],[0,1,3,4,6,7,8,9,15,18,19,20,22,23,25,28,31,34,38,39,41,42,47,52,54,55,57,58,59,60,61,66,70,74,75,76,77,78,79,80],[0,2,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,61,64,69,71,74,78,79,80,82],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,63,66,67,69,70,71,73,74,75,76,77,78,80,82],[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,72,74,75,77,79,80],[1,5,10,11,15,18,21,22,23,25,26,27,29,32,35,38,41,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,73,74,75,76,81],[0,3,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,71,72,73,74,76,78],[15,75,77,82],[0,2,4,6,7,8,9,12,14,16,17,19,21,22,23,27,30,31,32,34,36,38,39,41,42,43,44,47,48,49,50,51,52,56,59,61,64,66,70,73,76,78,79,81],[0,3,5,7,9,10,13,14,18,19,20,22,26,31,33,34,35,37,38,40,41,44,51,52,53,55,56,57,58,59,60,62,65,66,68,69,70,72,76,77,78,79],[5,76,78,82],[53,75,76,77,78,82],[0,1,3,4,5,7,8,10,12,14,15,17,18,20,21,22,23,29,30,32,33,36,37,38,39,40,42,43,44,46,49,50,51,52,55,56,57,58,61,64,65,66,70,74,75,77,78,80,81,82],[0,2,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,72,73,76,78,80],[0,4,5,7,8,11,14,15,16,17,20,26,27,33,35,36,37,39,40,41,42,44,45,49,52,54,57,58,61,64,65,68,69,71,73,74,78,80,81],[3,4,6,8,9,12,13,17,19,21,25,26,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,76,77,78,79,81],[0,2,3,4,5,6,7,8,9,10,11,12,14,17,18,19,23,26,29,31,34,36,39,42,44,45,46,48,49,52,53,54,57,59,61,62,64,67,69,72,73,74,77],[0,1,2,3,5,7,13,14,16,18,22,23,25,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,71,73,75,77,80,82],[30,76,77,78,79,82],[3,4,6,8,9,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,73,75,76,78,80],[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,73,74,76,77,80,81,82],[51,75,77,78,80,82],[35,76,77,78,80,82],[1,2,3,4,6,8,10,13,15,17,20,21,23,26,27,30,32,33,36,37,39,40,42,43,44,47,48,49,50,51,56,57,58,60,61,64,69,72,76,79,80,82],[3,75,76,79,80,82],[3,4,6,8,9,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,58,59,60,61,64,69,72,78,80,81,82],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,48,50,53,54,56,59,66,67,69,70,71,76,77,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,72,73,74,77,81,82],[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,69,70,72,73,75,77,79,80,81,82],[42,75],[48,76],[46,77],[54,75,76,77],[1,3,4,5,6,8,9,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,66,67,70,72,75,77,78,79],[1,2,3,5,8,9,13,14,15,17,20,21,25,26,27,28,30,31,32,34,35,36,39,41,42,43,48,50,51,55,56,57,58,61,64,65,70,71,72,73,74,76,77,80,81],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,50,52,53,55,57,59,61,64,66,67,70,71,73,76,77,79,80,81,82],[0,1,2,4,6,7,10,11,13,14,15,17,18,19,25,29,30,35,36,39,41,42,43,45,49,52,53,54,55,56,58,62,63,65,67,68,69,72,74,75,77,78,79],[2,3,4,6,13,15,18,19,20,21,23,25,29,30,32,33,34,36,37,39,41,42,46,47,48,49,51,53,56,57,58,59,60,61,66,67,69,73,74,76,77,78,80,82],[1,3,4,5,8,10,12,13,14,17,18,22,23,24,25,28,29,30,32,33,34,36,37,38,39,42,46,51,53,54,55,56,57,61,64,65,66,67,70,72,74,75,77,79,80,82],[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,74,75],[0,1,2,5,6,7,9,14,17,18,19,22,23,26,27,31,33,35,37,38,43,47,48,50,53,55,59,60,61,64,65,66,67,69,70,76,78,79,81,82],[0,75,78,79],[0,3,5,7,9,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,70,73,74,75,78,81],[24,72],[0,1,3,7,8,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,71,73,75,78,80],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,61,71,73,75,76,81,82],[0,3,4,5,6,10,11,18,19,20,21,24,26,27,28,29,31,32,34,38,41,42,45,46,50,51,52,53,57,62,63,67,68,69,70,71,72,73,75,78,79,81],[1,3,4,5,6,8,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,71,77,79,80],[0,4,5,6,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,72,73,75,76,77,79],[1,3,4,6,8,10,13,15,17,20,21,23,26,27,30,32,33,36,37,39,40,42,43,44,47,48,49,50,51,55,56,57,58,60,61,64,69,71,72,74,76,79,80,82],[1,4,5,6,8,10,12,14,16,17,18,19,23,25,29,31,33,34,36,39,43,46,49,50,52,53,54,55,57,59,61,64,66,67,70,71,72,73,75,76,78,81,82],[0,1,4,6,7,8,11,14,16,17,20,21,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,73,74,77,79,81],[3,4,6,8,9,12,13,17,19,21,25,26,27,30,31,32,34,35,36,39,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,71,72,74,76,77,78,79,81],[2,4,5,9,11,12,18,19,20,21,22,26,27,31,32,33,34,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,74,75,76,77,79,82],[0,1,2,3,5,7,13,14,16,17,18,22,23,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,60,66,67,69,70,71,72,73,74,76,77,78,79,82],[1,2,3,5,6,8,9,10,11,12,15,17,18,21,22,23,25,26,27,32,35,37,38,40,44,45,46,50,51,52,53,54,55,57,58,59,61,62,63,67,68,69,70,72,73,75,76,77,79,82],[1,5,10,11,15,18,21,22,23,25,26,27,28,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,74,75,77,78,79,80,81],[19,81],[36,75,76,81],[0,1,2,3,4,5,6,7,8,11,12,13,14,15,21,23,25,27,28,31,32,33,34,36,41,42,43,45,48,50,53,55,56,57,58,61,66,67,70,71,75,77,78,82],[20,76,77,81],[1,3,4,5,6,8,9,10,11,12,13,14,15,17,18,19,22,23,30,31,34,36,38,39,42,44,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,71,72,73,75,77,78,79],[0,1,4,6,7,8,11,12,13,14,16,17,19,23,25,27,31,32,33,34,36,39,41,42,43,45,47,49,50,54,55,56,57,59,61,63,64,66,69,71,73,74,75,76,79,80,81],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,52,53,55,57,59,61,64,66,67,70,75,76,77,79,80,82],[69,75,76,77,78,81],[0,1,3,5,12,14,15,18,19,20,21,23,25,26,27,29,31,32,33,34,37,38,40,41,42,45,47,48,50,51,52,53,56,57,59,62,63,67,70,73,74,75,77,78,79,80,81],[13,76,79,81],[0,1,4,6,7,8,11,14,16,17,20,23,25,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,72,74,77,79,81],[11,75,76,77,79,81],[2,5,9,11,12,18,19,20,21,22,26,27,31,32,33,37,38,40,43,45,47,48,50,53,54,56,59,66,67,69,70,72,73,74,75,76,77,79,80,81,82],[0,3,5,7,10,11,14,15,16,19,20,22,24,26,33,34,35,37,39,40,41,42,43,46,49,52,53,55,57,58,61,62,64,66,68,69,70,71,72,74,75,76,77,79,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,74,76,79,80,82],[52,71,72,73],[1,7,9,10,11,12,13,14,16,19,20,21,22,23,29,30,31,34,37,40,42,44,48,50,57,58,59,62,63,66,70,72,73,76,77,78],[0,2,3,7,10,11,13,14,15,16,21,25,30,41,43,44,48,50,51,52,54,58,60,76,77,80,81,82],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,66,71,72,73,75,76,78,82],[1,2,4,6,8,10,11,12,14,16,20,21,22,23,24,25,26,27,28,32,35,36,40,43,46,48,49,56,59,60,62,64,67,68,69,71,73,74,75,76,79,80,82],[0,4,5,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,71,72,75,76,77,79],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,37,38,39,41,42,43,48,49,50,52,53,55,57,59,61,64,66,67,70,71,72,75,76,78,79,80,81,82],[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,80,81],[0,2,7,9,10,13,17,18,19,21,22,25,26,27,28,30,31,32,33,34,36,37,38,40,41,43,44,48,49,50,51,52,54,56,59,64,66,69,70,72,73,75,77,78,82],[0,1,4,6,7,8,11,12,14,16,17,20,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,57,61,64,69,71,74,77,79,81],[3,4,6,8,9,12,13,17,19,21,25,26,27,29,30,31,32,34,35,36,41,42,43,46,47,49,50,51,56,57,59,60,61,64,69,72,73,74,76,77,78,79,81],[0,1,2,3,5,7,13,14,16,18,22,23,26,27,29,30,32,35,38,46,47,48,51,52,53,55,56,66,67,69,70,72,74,75,77,80,82],[70,77,78,79,80,81],[16,74],[0,2,3,7,10,11,13,14,16,21,25,30,41,43,44,45,48,50,51,52,54,58,60,71,72,73,74,75,76,80,81],[0,1,4,6,7,8,10,14,15,16,17,20,21,22,25,27,29,30,32,33,35,36,37,38,39,40,42,43,46,47,49,50,51,52,55,56,58,61,64,66,70,73,74,76,77,79,80,82],[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,71,74,75,76],[0,4,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,64,66,67,70,73,74,75,77,78,79,82],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,50,52,53,55,57,59,61,64,65,66,67,70,73,74,75,76,78,79,80,81,82],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,35,36,37,38,39,40,41,42,45,46,48,49,51,54,57,60,61,64,66,67,70,71,72,74,76,77,78,79,80,81],[0,2,5,6,7,12,13,14,18,22,26,27,29,38,46,47,48,52,60,65,66,69,70,71,74,75,76,77,78,79,81],[32,76,79,82],[1,5,6,15,23,25,32,35,44,47,55,56,58,65,68,71,72,74,77,78,79,80],[0,3,4,6,7,8,10,14,17,20,21,22,23,27,29,32,33,36,37,38,39,40,42,43,44,46,47,49,50,52,56,57,61,62,64,66,70,73,74,75,76,78,80,82],[0,3,5,7,9,10,12,13,14,15,16,18,19,20,22,23,25,26,27,30,31,32,33,34,37,38,40,41,44,47,51,52,53,56,58,59,60,66,67,69,70,71,73,75,78,81],[1,5,10,11,15,18,21,22,23,25,26,27,29,30,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,72,75,77,78,79,81,82],[56,71,72,74],[1,2,9,10,12,15,19,20,23,25,29,31,33,34,35,37,40,41,44,46,48,55,58,59,68,71,72,74,77,78,80,81,82],[1,3,4,5,6,8,9,10,11,12,13,15,17,18,19,22,23,30,31,34,36,38,39,42,45,49,51,53,54,55,57,58,59,60,61,64,66,67,70,74,75,77,78,79],[0,4,5,6,7,8,10,14,15,16,17,18,20,21,22,29,33,35,36,37,38,39,40,42,43,44,46,49,50,52,53,57,58,61,62,64,66,67,70,71,72,73,74,75,76,77,79],[0,1,2,4,5,6,7,8,9,12,14,16,17,18,19,21,22,23,25,31,34,36,38,39,41,42,43,48,49,50,51,52,53,55,57,59,61,64,66,67,70,71,72,73,74,76,77,79,81],[2,3,4,5,6,8,11,13,17,18,20,22,25,29,30,33,36,37,38,39,40,41,42,45,46,48,49,51,53,54,57,60,61,64,66,67,70,74,75,76,77,78,79,81],[0,2,3,4,6,7,8,9,10,11,12,14,15,16,17,19,26,27,29,31,32,34,35,36,39,42,44,45,46,47,48,49,52,54,56,57,58,59,61,64,69,71,73,75,76,78],[0,1,4,6,7,8,11,14,16,17,20,23,25,26,27,32,33,36,37,39,40,41,42,45,47,49,52,54,55,56,61,64,69,71,73,77,79,81],[58,76,77,79,80,82],[47,75,78,79,80,82],[0,3,4,5,7,8,10,12,14,15,16,17,20,21,22,29,33,36,37,38,39,40,42,43,46,47,49,50,51,52,53,55,56,61,62,64,66,68,70,74,75,80,81],[67,77,78,79,80,82],[1,5,6,10,11,15,18,21,22,23,25,26,27,29,32,35,38,41,43,44,45,46,47,50,53,54,55,56,58,66,67,69,70,71,75,76,81]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,16,200],"A_d":1056,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,2],[2,1],[3,1],[4,2],[5,1],[6,2],[7,2],[8,2],[9,1],[10,1],[11,2],[12,2],[13,1],[14,2],[15,1],[16,2],[17,2],[18,1],[19,1],[20,2],[21,1],[22,1],[23,2],[24,1],[25,2],[26,2],[27,2],[28,1],[29,1],[30,1],[31,1],[32,2],[33,2],[34,1],[35,1],[36,2],[37,2],[38,1],[39,2],[40,2],[41,2],[42,2],[43,1],[44,1],[45,2],[46,1],[47,2],[48,1],[49,2],[50,1],[51,1],[52,2],[53,1],[54,2],[55,2],[56,2],[57,2],[58,1],[59,1],[60,1],[61,2],[62,1],[63,1],[64,2],[65,1],[66,1],[67,1],[68,1],[69,2],[70,1],[71,1],[74,1],[75,1],[80,1]],"CZ":[[0,1],[0,4],[0,6],[0,7],[0,8],[0,11],[0,12],[0,14],[0,16],[0,17],[0,20],[0,23],[0,25],[0,26],[0,27],[0,32],[0,33],[0,36],[0,37],[0,39],[0,40],[0,41],[0,42],[0,45],[0,47],[0,49],[0,52],[0,54],[0,55],[0,56],[0,57],[0,61],[0,64],[0,69],[0,71],[0,74],[0,75],[0,80],[1,4],[1,6],[1,7],[1,8],[1,11],[1,12],[1,14],[1,16],[1,17],[1,20],[1,23],[1,25],[1,26],[1,27],[1,32],[1,33],[1,36],[1,37],[1,39],[1,40],[1,41],[1,42],[1,45],[1,47],[1,49],[1,52],[1,54],[1,55],[1,56],[1,57],[1,61],[1,64],[1,69],[1,71],[1,74],[1,75],[1,80],[4,6],[4,7],[4,8],[4,11],[4,12],[4,14],[4,16],[4,17],[4,20],[4,23],[4,25],[4,26],[4,27],[4,32],[4,33],[4,36],[4,37],[4,39],[4,40],[4,41],[4,42],[4,45],[4,47],[4,49],[4,52],[4,54],[4,55],[4,56],[4,57],[4,61],[4,64],[4,69],[4,71],[4,74],[4,75],[4,80],[6,7],[6,8],[6,11],[6,12],[6,14],[6,16],[6,17],[6,20],[6,23],[6,25],[6,26],[6,27],[6,32],[6,33],[6,36],[6,37],[6,39],[6,40],[6,41],[6,42],[6,45],[6,47],[6,49],[6,52],[6,54],[6,55],[6,56],[6,57],[6,61],[6,64],[6,69],[6,71],[6,74],[6,75],[6,80],[7,8],[7,11],[7,12],[7,14],[7,16],[7,17],[7,20],[7,23],[7,25],[7,26],[7,27],[7,32],[7,33],[7,36],[7,37],[7,39],[7,40],[7,41],[7,42],[7,45],[7,47],[7,49],[7,52],[7,54],[7,55],[7,56],[7,57],[7,61],[7,64],[7,69],[7,71],[7,74],[7,75],[7,80],[8,11],[8,12],[8,14],[8,16],[8,17],[8,20],[8,23],[8,25],[8,26],[8,27],[8,32],[8,33],[8,36],[8,37],[8,39],[8,40],[8,41],[8,42],[8,45],[8,47],[8,49],[8,52],[8,54],[8,55],[8,56],[8,57],[8,61],[8,64],[8,69],[8,71],[8,74],[8,75],[8,80],[11,12],[11,14],[11,16],[11,17],[11,20],[11,23],[11,25],[11,26],[11,27],[11,32],[11,33],[11,36],[11,37],[11,39],[11,40],[11,41],[11,42],[11,45],[11,47],[11,49],[11,52],[11,54],[11,55],[11,56],[11,57],[11,61],[11,64],[11,69],[11,71],[11,74],[11,75],[11,80],[12,14],[12,16],[12,17],[12,20],[12,23],[12,25],[12,26],[12,27],[12,32],[12,33],[12,36],[12,37],[12,39],[12,40],[12,41],[12,42],[12,45],[12,47],[12,49],[12,52],[12,54],[12,55],[12,56],[12,57],[12,61],[12,64],[12,69],[12,71],[12,74],[12,75],[12,80],[14,16],[14,17],[14,20],[14,23],[14,25],[14,26],[14,27],[14,32],[14,33],[14,36],[14,37],[14,39],[14,40],[14,41],[14,42],[14,45],[14,47],[14,49],[14,52],[14,54],[14,55],[14,56],[14,57],[14,61],[14,64],[14,69],[14,71],[14,74],[14,75],[14,80],[16,17],[16,20],[16,23],[16,25],[16,26],[16,27],[16,32],[16,33],[16,36],[16,37],[16,39],[16,40],[16,41],[16,42],[16,45],[16,47],[16,49],[16,52],[16,54],[16,55],[16,56],[16,57],[16,61],[16,64],[16,69],[16,71],[16,74],[16,75],[16,80],[17,20],[17,23],[17,25],[17,26],[17,27],[17,32],[17,33],[17,36],[17,37],[17,39],[17,40],[17,41],[17,42],[17,45],[17,47],[17,49],[17,52],[17,54],[17,55],[17,56],[17,57],[17,61],[17,64],[17,69],[17,71],[17,74],[17,75],[17,80],[20,23],[20,25],[20,26],[20,27],[20,32],[20,33],[20,36],[20,37],[20,39],[20,40],[20,41],[20,42],[20,45],[20,47],[20,49],[20,52],[20,54],[20,55],[20,56],[20,57],[20,61],[20,64],[20,69],[20,71],[20,74],[20,75],[20,80],[23,25],[23,26],[23,27],[23,32],[23,33],[23,36],[23,37],[23,39],[23,40],[23,41],[23,42],[23,45],[23,47],[23,49],[23,52],[23,54],[23,55],[23,56],[23,57],[23,61],[23,64],[23,69],[23,71],[23,74],[23,75],[23,80],[25,26],[25,27],[25,32],[25,33],[25,36],[25,37],[25,39],[25,40],[25,41],[25,42],[25,45],[25,47],[25,49],[25,52],[25,54],[25,55],[25,56],[25,57],[25,61],[25,64],[25,69],[25,71],[25,74],[25,75],[25,80],[26,27],[26,32],[26,33],[26,36],[26,37],[26,39],[26,40],[26,41],[26,42],[26,45],[26,47],[26,49],[26,52],[26,54],[26,55],[26,56],[26,57],[26,61],[26,64],[26,69],[26,71],[26,74],[26,75],[26,80],[27,32],[27,33],[27,36],[27,37],[27,39],[27,40],[27,41],[27,42],[27,45],[27,47],[27,49],[27,52],[27,54],[27,55],[27,56],[27,57],[27,61],[27,64],[27,69],[27,71],[27,74],[27,75],[27,80],[32,33],[32,36],[32,37],[32,39],[32,40],[32,41],[32,42],[32,45],[32,47],[32,49],[32,52],[32,54],[32,55],[32,56],[32,57],[32,61],[32,64],[32,69],[32,71],[32,74],[32,75],[32,80],[33,36],[33,37],[33,39],[33,40],[33,41],[33,42],[33,45],[33,47],[33,49],[33,52],[33,54],[33,55],[33,56],[33,57],[33,61],[33,64],[33,69],[33,71],[33,74],[33,75],[33,80],[36,37],[36,39],[36,40],[36,41],[36,42],[36,45],[36,47],[36,49],[36,52],[36,54],[36,55],[36,56],[36,57],[36,61],[36,64],[36,69],[36,71],[36,74],[36,75],[36,80],[37,39],[37,40],[37,41],[37,42],[37,45],[37,47],[37,49],[37,52],[37,54],[37,55],[37,56],[37,57],[37,61],[37,64],[37,69],[37,71],[37,74],[37,75],[37,80],[39,40],[39,41],[39,42],[39,45],[39,47],[39,49],[39,52],[39,54],[39,55],[39,56],[39,57],[39,61],[39,64],[39,69],[39,71],[39,74],[39,75],[39,80],[40,41],[40,42],[40,45],[40,47],[40,49],[40,52],[40,54],[40,55],[40,56],[40,57],[40,61],[40,64],[40,69],[40,71],[40,74],[40,75],[40,80],[41,42],[41,45],[41,47],[41,49],[41,52],[41,54],[41,55],[41,56],[41,57],[41,61],[41,64],[41,69],[41,71],[41,74],[41,75],[41,80],[42,45],[42,47],[42,49],[42,52],[42,54],[42,55],[42,56],[42,57],[42,61],[42,64],[42,69],[42,71],[42,74],[42,75],[42,80],[45,47],[45,49],[45,52],[45,54],[45,55],[45,56],[45,57],[45,61],[45,64],[45,69],[45,71],[45,74],[45,75],[45,80],[47,49],[47,52],[47,54],[47,55],[47,56],[47,57],[47,61],[47,64],[47,69],[47,71],[47,74],[47,75],[47,80],[49,52],[49,54],[49,55],[49,56],[49,57],[49,61],[49,64],[49,69],[49,71],[49,74],[49,75],[49,80],[52,54],[52,55],[52,56],[52,57],[52,61],[52,64],[52,69],[52,71],[52,74],[52,75],[52,80],[54,55],[54,56],[54,57],[54,61],[54,64],[54,69],[54,71],[54,74],[54,75],[54,80],[55,56],[55,57],[55,61],[55,64],[55,69],[55,71],[55,74],[55,75],[55,80],[56,57],[56,61],[56,64],[56,69],[56,71],[56,74],[56,75],[56,80],[57,61],[57,64],[57,69],[57,71],[57,74],[57,75],[57,80],[61,64],[61,69],[61,71],[61,74],[61,75],[61,80],[64,69],[64,71],[64,74],[64,75],[64,80],[69,71],[69,74],[69,75],[69,80],[71,74],[71,75],[71,80],[74,75],[74,80],[75,80]]},"rotation_powers":[[0,5],[1,7],[3,7],[4,5],[5,5],[8,3],[10,5],[13,5],[15,5],[16,3],[19,7],[20,5],[22,5],[25,5],[26,7],[27,3],[28,7],[32,5],[33,5],[36,3],[38,5],[39,5],[40,7],[44,5],[47,3],[49,5],[50,7],[54,5],[55,5],[56,5],[59,3],[61,7],[62,3],[63,7],[64,5],[68,3],[70,5],[72,5],[79,5],[80,3],[81,3],[82,3],[86,3],[88,3],[90,3],[91,3],[93,3],[94,3],[95,3],[99,3],[101,3],[103,3],[104,3],[105,3],[108,3],[109,3],[113,3],[114,3],[116,3],[117,3],[118,3],[119,3],[121,3],[123,3],[126,3],[130,7],[138,3],[139,3],[143,3],[144,3],[145,3],[150,3],[151,3],[158,3],[160,3],[162,3],[164,3],[165,3],[167,3],[168,3],[169,3],[170,3],[171,3],[172,5],[176,3],[178,3],[181,3],[183,7],[187,3],[189,3],[190,3],[191,3],[192,3],[195,3],[196,3],[199,3],[200,3],[201,3],[204,3],[205,3],[206,3],[208,3],[209,3],[213,3],[217,3],[219,3],[223,3],[225,3],[226,3],[227,3],[228,3],[233,3],[237,3],[238,3],[239,3],[245,3],[249,3],[251,3],[253,3],[259,3],[261,3],[265,3],[267,3],[269,3],[276,3],[278,3],[280,3],[281,3],[283,3],[286,3],[287,3],[288,3],[289,3],[290,3],[291,3],[295,3],[299,3],[300,3],[303,3],[304,3],[305,3],[308,3],[310,3]]},"metrics":{"gamma":1.3445262267443594,"gamma_t":null,"gamma_rho":1.3445262267443594,"gamma_claim":1.3445262267443594,"gamma_t_claim":null,"gamma_rho_claim":1.3445262267443594,"v_ex":71,"rate":0.2282958199356913,"t_count":null,"poly_degree":null,"effective_width":71},"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_311_71_3_229dd70f662d.json","label":"paired_column_contraction_311_71_3_229dd70f662d","N":83,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_311_71_3_229dd70f662d (source catalogue id paired_column_contraction_311_71_3_229dd70f662d); construction: Existing triorthogonal code with physical paired-column contraction; matrix 229dd70f662d2e66...; the release states d=3 (exact), gamma=1.3445262267443594 (exact)","notes":"matrix gamma_frontier_release/matrices/229dd70f662d2e66d406e08dcb3ce01ce1f10e899b7b6704702ad42d8360e123.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"}]}