{"id":"310.72.3.a","row":963,"stored":{"file":"master_catalog.json","row":963,"construction":null,"columns_sha256":null},"parameters":{"n":310,"k":72,"d":3,"N":83,"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+68+69+70+71","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\u00b7T71","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],[71]],"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],[71]],"sk_fingerprint":"666ecf1ddd2e9b30","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,38,40,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,72,73,74,76,81,82],[21,76],[1,2,7,8,9,13,14,16,17,20,22,24,27,30,34,36,45,47,48,49,53,59,61,67,70,74,75,76,77,78,79],[3,5,7,8,14,16,17,18,19,21,22,23,24,26,32,35,38,41,42,43,45,46,47,48,51,52,54,56,57,61,63,64,67,70,71,72,75,77,78,79,80,82],[3,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,40,42,46,48,50,52,54,55,59,60,65,66,67,68,69,70,73,75,78,80,81,82],[0,5,7,9,14,15,16,17,18,20,21,23,24,26,28,31,33,35,40,42,43,45,46,47,48,51,52,53,57,58,60,61,62,63,64,67,69,70,71,72,75,76,79,81],[30,72],[1,2,5,6,8,10,11,13,14,16,18,19,20,21,23,26,29,31,35,37,39,40,41,42,44,45,47,51,52,54,55,59,60,64,66,73,74,81],[1,2,3,4,6,8,9,10,12,13,15,16,18,21,23,27,28,30,32,33,35,36,39,40,41,42,43,48,49,50,53,54,64,65,66,67,68,69,71,74,75,78,79,80,81,82],[0,1,2,3,4,5,6,7,8,10,12,13,14,15,16,17,20,21,24,25,26,27,28,31,32,33,37,40,41,42,43,44,45,49,52,53,54,57,58,60,61,62,63,65,68,70,71,74,77,78,81,82],[1,2,3,6,8,11,12,13,17,19,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,68,69,72,73,74,76,78,79,80,81,82],[0,75,76,77,78,79],[7,73],[1,4,5,9,10,11,17,18,19,21,23,24,26,27,28,31,35,36,37,39,40,41,42,44,45,48,50,51,52,53,54,55,64,66,67,73,74,76,77,78,81],[70,76,77,80],[1,5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,47,53,56,58,59,60,61,62,64,65,66,68,71,72,73,74,76,80],[0,1,3,6,8,9,11,14,15,25,27,30,31,32,33,34,38,45,51,56,57,60,63,74,79,82],[1,2,4,5,6,8,10,13,16,18,23,25,26,27,29,31,37,39,44,45,47,52,53,54,55,57,58,59,60,61,62,63,64,66,69,73,74,75,77,78,80],[35,75,76,77,78,80],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,40,42,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,74,75,76,81,82],[0,1,3,6,7,9,12,16,26,28,29,31,32,34,35,39,41,42,46,48,50,51,52,53,54,55,57,58,59,62,63,65,66,67,68,72,73,74,75,78,80,82],[2,4,5,9,12,13,14,15,17,19,21,22,24,26,27,30,33,35,36,39,40,45,46,47,51,52,53,55,56,57,60,63,65,66,68,69,70,72,73,75,76,77,78,79,81],[5,75,76,77,79,80],[3,4,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,40,42,46,48,52,54,55,59,60,65,66,67,68,69,70,72,75,78,79,81,82],[22,75,77,78,79,80],[6,76,77,78,79,80],[0,2,4,5,7,11,12,15,20,21,22,23,24,26,27,31,33,34,36,37,46,47,48,51,53,55,56,57,59,60,61,63,65,67,68,69,70,74,75,76,77,80],[2,3,4,6,7,10,14,17,18,20,22,25,26,29,31,32,36,37,38,39,43,45,46,48,54,56,58,60,62,64,66,67,69,70,71,72,73,74,75,77,79,82],[68,75,78,81],[4,7,9,10,11,12,13,14,16,18,19,20,22,25,26,28,32,34,35,37,38,39,40,41,42,43,47,49,50,52,54,55,59,60,61,63,66,67,70,73,75,76,77,78],[0,1,3,4,5,6,7,8,10,13,15,17,20,21,23,25,27,28,29,30,31,32,33,35,37,38,39,40,42,48,49,51,52,54,56,57,59,63,66,67,70,73,75,77,78,79,81,82],[1,4,7,8,11,12,13,18,19,20,24,28,30,34,35,37,40,42,43,45,47,48,49,52,53,55,56,58,61,62,64,67,68,70,71,72,80],[0,1,3,5,6,7,8,10,12,13,14,15,17,18,20,21,22,23,25,26,29,30,32,33,36,37,38,39,43,45,48,49,54,55,56,57,58,62,63,66,67,69,70,73,74,75,76,78,81,82],[1,2,4,7,8,9,11,12,13,14,16,17,18,19,20,28,30,34,35,37,40,42,45,47,48,49,52,55,58,59,61,63,64,67,70,73,76,77,80],[62,77,79,81],[0,2,3,4,5,6,10,14,15,16,21,22,23,24,25,28,29,32,33,34,35,36,37,38,39,40,42,47,51,52,53,54,56,57,61,63,66,72,73,74,76,77,81,82],[4,7,10,12,13,14,15,18,19,20,22,24,25,28,32,34,35,37,38,40,41,42,43,47,49,50,52,54,55,60,61,62,64,66,67,68,69,70,71,72,75,79],[2,3,4,5,6,11,12,13,15,17,19,21,23,24,25,27,31,32,34,38,39,43,45,46,49,51,53,62,68,69,71,72,73,74,75,76,78,81,82],[2,3,4,5,6,12,13,16,17,19,21,23,25,26,27,32,34,37,38,45,46,49,65,68,69,72,73,74,77,78,80,82],[2,7,10,13,14,17,19,20,24,25,27,31,32,34,36,38,41,45,47,49,50,51,53,54,58,59,60,61,62,63,66,67,70,72,74,75,76,77,78,79],[1,2,4,5,8,10,11,16,21,22,23,24,27,28,29,30,31,35,36,37,39,40,42,45,47,52,53,54,55,56,60,61,66,73,76,77,79,81],[0,1,4,5,8,9,11,12,13,14,15,16,17,19,21,23,26,30,31,33,37,46,49,51,55,56,57,60,63,65,68,69,71,73,78,79,81],[0,2,3,4,5,6,9,10,14,15,16,21,22,23,24,25,28,29,32,33,34,35,36,37,38,39,40,42,47,51,52,53,54,56,57,59,61,63,66,74,76,77,78,80,82],[2,4,9,11,12,14,16,17,18,19,22,27,28,35,36,37,40,42,43,45,52,55,56,58,59,62,65,68,71,72,73,74,77,79,80,81],[3,4,5,6,12,13,16,17,19,21,23,25,26,27,32,34,37,38,45,46,49,53,65,68,69,74,76,81,82],[0,3,4,5,6,7,9,13,19,20,21,22,23,27,28,29,31,33,35,40,41,42,43,45,49,50,51,52,53,57,58,60,62,63,64,67,69,70,71,72,77,79,80,82],[2,3,4,6,7,10,18,20,22,25,26,29,31,32,36,37,38,39,43,45,46,48,54,56,58,60,62,64,66,67,69,70,71,74,75,77,79,82],[4,5,7,9,10,11,13,14,15,17,20,21,23,28,29,31,34,35,37,39,40,42,45,48,49,52,54,55,59,60,66,67,70,72,73,74,75,76,78,79,80],[0,1,2,4,7,8,9,10,11,14,15,17,18,20,22,26,27,29,30,33,34,36,37,39,43,46,48,51,54,55,57,58,62,64,66,67,69,70,71,73,77,78,79,80,81],[1,4,7,8,11,12,13,18,19,20,24,28,30,34,35,37,40,42,45,47,48,49,52,53,55,56,58,61,62,64,65,67,68,70,71,73,75,76,77,78,80,81],[66,75,76,82],[1,3,4,6,7,8,9,10,14,16,18,19,20,21,23,24,25,29,30,31,35,36,37,38,39,43,46,47,51,53,58,59,60,61,62,65,68,69,70,72,74,75,76,80,81,82],[0,1,3,5,7,8,9,12,13,14,15,16,17,18,20,21,24,25,26,27,28,31,32,34,35,40,42,43,44,45,47,48,51,53,58,60,61,62,63,64,69,70,71,74,75,76,77,81,82],[1,2,3,6,8,10,11,12,13,17,19,20,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,68,69,73,76,77,79,80,81],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,38,40,42,43,46,48,52,53,55,56,58,61,62,64,67,69,70,71,73,75,76,81,82],[46,76,79,82],[48,75,76,77,79,82],[0,5,7,9,14,15,16,17,18,20,21,23,24,25,26,28,31,33,34,35,40,42,43,45,46,47,48,51,52,53,57,58,60,61,62,63,64,67,69,70,71,74,75,76,79,81],[1,2,3,4,5,6,9,12,14,20,22,23,24,25,30,32,34,35,36,37,38,40,46,49,51,52,53,54,56,57,59,61,64,69,71,72,74,77,81],[27,75,80,82],[41,76,80,82],[18,77,80,82],[0,1,2,3,5,6,7,8,9,10,11,12,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,48,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,72,75,78,80,82],[3,6,7,9,10,11,12,14,16,19,20,23,25,26,27,28,29,31,32,35,38,39,40,42,46,48,52,54,55,59,60,65,66,67,68,69,70,74,75,80,81,82],[1,4,5,7,9,10,11,17,18,19,28,33,34,35,37,40,45,48,52,64,65,67,71,73,82],[3,5,7,9,10,17,18,19,20,21,23,24,25,26,27,30,32,33,34,35,41,42,43,45,46,47,51,52,53,54,55,57,58,61,62,64,65,67,71,74,79],[32,76,77,78,80,82],[4,11,21,24,25,26,27,28,30,36,37,40,41,42,43,44,51,52,53,54,55,61,62,73,74,76],[2,3,5,6,9,11,13,14,18,21,22,23,25,26,28,32,34,35,36,38,40,42,43,46,49,52,55,56,57,58,59,62,64,69,71,74,75,77,78,80,81],[1,3,5,6,8,11,12,14,16,17,18,20,21,23,24,25,27,28,29,30,31,32,34,38,39,43,45,47,51,53,59,60,61,62,64,68,69,70,71,72,73,74,75,79,80,81],[0,1,3,6,9,11,14,15,25,27,30,31,32,33,34,38,45,51,55,56,57,60,63,72,79,82],[67,77,78,79,80,82],[5,6,11,12,13,14,16,17,21,23,24,25,28,29,30,31,32,34,36,38,39,41,43,44,45,46,48,51,53,59,60,61,62,64,67,68,69,70,71,72,73,74,75,76,80,81,82],[42,75],[0,1,7,8,10,12,15,16,19,20,21,26,28,29,30,33,34,35,39,40,42,45,46,48,51,52,54,56,57,59,63,65,66,67,68,69,70,74,75,76,79,80,81],[45,77],[0,1,2,6,9,10,11,12,13,15,17,20,24,25,26,29,30,33,35,36,39,41,42,46,47,49,52,55,56,58,61,62,65,66,68,73,74,77,79],[50,78],[2,5,7,10,12,13,16,18,19,20,21,22,23,27,29,31,34,36,39,43,48,54,56,58,60,62,64,65,66,67,68,70,71,72,75,78,79,80],[0,2,3,6,7,11,13,15,16,17,20,22,24,25,29,31,32,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,73,75,76,78,82],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,28,29,32,33,34,38,39,43,45,47,51,53,54,55,57,58,59,61,62,63,64,65,66,68,71,73,76,79,80,82],[1,3,8,9,10,16,19,20,22,25,28,29,31,32,34,36,37,38,39,41,43,44,45,46,47,49,51,54,56,58,60,62,66,69,71,74,78,79,82],[5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,47,53,54,56,58,59,60,61,62,64,65,66,68,71,76,80],[2,3,4,5,6,13,14,15,16,17,19,24,27,28,29,31,32,33,35,36,40,41,42,47,48,49,50,56,58,59,60,61,62,67,69,75,76,78,79,81,82],[2,4,5,7,9,10,11,12,13,16,17,20,21,24,26,28,30,34,37,38,40,41,42,43,44,49,51,52,53,54,55,56,58,61,62,65,68,70,71,72,73,77,78,79,81],[1,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,35,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,74,75,76,77,79,81],[0,1,3,4,6,9,12,15,25,26,28,29,31,32,33,34,35,36,37,38,40,41,42,43,44,47,48,50,52,57,58,59,61,62,63,65,67,68,71,72,73,74,77,78,79,80,81,82],[2,3,5,6,9,11,13,14,18,21,22,23,25,26,28,32,34,35,36,38,40,42,43,46,49,52,55,56,58,59,60,62,64,69,71,72,78,79,81,82],[0,2,9,10,12,13,14,15,17,19,22,24,26,27,28,29,33,35,36,39,40,42,45,46,47,49,51,52,53,54,56,57,61,63,65,66,68,69,70,73,77,78,81],[3,4,5,11,12,16,17,18,19,22,23,24,27,28,30,32,34,35,36,37,38,40,42,44,45,46,49,57,58,59,62,63,64,65,68,73,75,76,77,79,81,82],[0,1,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,72,73,74,75,76,77,80,81],[3,6,8,9,10,15,19,20,30,31,32,33,40,41,45,50,53,55,56,58,62,69,70,78,79,81,82],[1,4,5,7,8,12,15,16,19,20,21,26,33,34,35,39,40,45,46,48,49,51,52,55,56,57,59,60,61,63,65,66,67,68,69,74,77,81],[0,1,2,3,6,7,8,9,10,11,12,13,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,48,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,74,76,77,78,79,82],[4,78,79,80],[0,5,7,9,14,15,16,17,18,20,21,23,24,26,28,31,33,34,35,40,42,43,45,46,47,48,51,52,53,57,58,60,62,63,64,67,69,70,71,73,75,76,79,81],[2,5,7,10,12,13,16,18,19,20,21,23,27,29,31,34,36,39,43,48,49,54,56,58,60,62,64,65,66,67,68,70,71,73,77],[0,2,3,7,11,13,15,16,17,20,22,24,25,31,32,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,72,75,77,79,80,82],[0,3,4,6,7,9,12,13,14,15,18,19,20,25,27,28,31,32,33,35,37,38,40,42,43,47,48,49,51,52,53,57,58,60,61,62,63,64,65,67,68,70,71,72,73,74,75,76,77,78,79,80,81,82],[4,5,7,9,10,11,13,14,17,20,21,23,26,28,29,31,34,35,37,39,40,42,45,48,49,52,54,55,59,60,66,67,70,74,75,77,78,81],[0,1,2,4,7,8,9,10,11,14,15,17,18,20,22,26,27,29,30,33,34,36,37,39,43,46,48,51,54,55,57,58,62,63,64,66,67,68,69,70,71,72,77,78,81],[1,2,3,5,6,8,10,11,13,16,18,21,23,24,28,30,34,35,36,39,40,41,42,43,45,46,48,49,50,52,53,54,55,60,63,65,66,68,69,78,79,80,82],[65,75,76,77,78,81],[2,4,5,7,10,13,14,16,19,20,21,23,26,28,29,31,34,35,39,40,42,45,48,49,51,52,54,55,56,59,60,64,65,66,67,68,69,70,71,74,75,76,77,78,80],[5,7,9,10,12,13,14,17,18,19,20,21,22,23,24,27,29,31,34,36,39,48,49,53,54,58,59,60,63,64,66,67,70,72,73,79,80,81],[0,1,4,5,8,9,11,12,13,14,15,16,17,19,21,23,26,30,31,33,37,46,49,51,55,56,57,60,62,63,65,68,69,72,78,80,81],[1,3,4,6,8,9,10,11,13,14,16,18,24,25,26,27,29,30,31,32,34,37,38,39,43,45,46,47,49,53,54,56,58,59,60,61,62,64,66,69,71,73,76,77,78,82],[2,7,9,10,11,13,15,16,17,20,24,25,27,32,34,36,38,41,45,47,49,50,54,56,58,59,60,61,65,66,67,69,70,72,74,75,77,80,81],[0,2,3,5,6,10,12,16,17,18,19,21,23,25,26,27,29,31,32,33,34,37,38,45,47,54,55,57,58,59,61,63,64,66,68,72,73,75,77,79,81,82],[0,1,3,4,6,7,8,10,12,13,14,15,16,18,20,22,24,27,28,30,33,35,37,40,41,42,43,45,47,49,50,52,53,54,57,61,64,65,66,67,68,70,71,74,75,76,78,79,80,81,82],[71,77,80,81],[1,3,4,6,8,9,10,13,14,16,18,24,25,26,27,29,30,31,32,34,37,38,43,45,46,47,49,53,54,56,58,59,60,61,62,64,66,69,71,72,76,77,78,82],[59,78,80,81],[0,4,10,11,13,15,16,18,24,26,29,33,37,39,43,46,47,49,53,54,55,57,58,59,61,62,63,64,66,69,71,72,73,74,76,77,78,79],[53,76,77,78,80,81],[2,3,6,9,11,12,13,15,24,26,28,29,34,35,36,37,40,41,42,43,45,46,47,48,49,50,52,55,56,58,59,61,62,64,65,68,71,73,74,75,76,79,82],[0,3,4,6,7,9,12,13,14,15,16,18,19,20,24,25,27,28,31,32,33,35,37,38,40,42,43,47,48,49,51,52,53,57,58,60,61,62,63,64,65,67,68,70,71,74,75,76,77,78,79,80,81,82],[15,76,77,79,80,81],[63,75,78,79,80,81],[1,2,3,4,5,6,7,8,9,12,14,19,20,21,22,23,24,25,26,30,32,36,37,38,45,46,47,48,53,59,61,65,67,68,70,72,75,76,77,79,80,82],[0,1,3,4,5,6,7,8,10,13,15,17,20,21,23,25,27,28,29,30,32,33,35,38,39,40,42,48,49,51,52,54,56,57,59,63,66,67,70,72,75,77,78,79,81,82],[33,74],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,29,32,33,34,38,39,43,45,47,51,53,54,55,57,58,59,61,62,63,64,65,68,71,72,73,74,75,79,80],[1,2,4,5,7,8,10,11,13,16,19,20,22,24,26,28,29,30,31,32,34,37,39,40,42,47,49,51,52,53,55,56,60,61,64,65,68,70,71,73,75,76,78,79,80],[1,2,3,5,7,8,10,16,18,19,20,21,22,25,29,31,32,33,34,36,39,43,44,46,48,49,52,54,56,57,58,60,62,64,65,66,68,70,71,75,77,78,80,82],[1,5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,44,47,53,54,56,58,59,60,61,62,64,65,66,68,71,72,76,80],[0,1,3,6,8,9,11,14,15,25,27,30,31,32,33,34,36,38,45,51,55,56,57,60,63,73,79,82],[20,77,78,82],[0,1,7,8,10,12,15,16,19,20,26,28,29,30,33,34,35,39,40,42,45,48,51,52,54,56,57,59,63,65,66,67,68,69,70,72,75,76,80,81,82],[1,2,3,7,8,9,13,14,16,17,20,22,24,27,30,34,36,47,48,49,53,59,61,67,70,72,75,76,78,79],[0,1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,73,76,77,78,79,80],[3,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,42,46,48,52,54,55,59,60,65,66,67,68,69,70,72,73,74,75,80,81,82],[2,5,7,10,13,16,18,19,20,21,22,23,27,29,31,34,36,39,43,48,49,54,56,58,60,62,64,65,66,67,68,70,71,74,75,78,79,80],[0,1,4,5,7,9,11,12,13,14,15,16,17,23,30,31,33,34,35,37,40,45,46,47,48,52,54,55,60,63,64,67,69,70,71,73,75,76,77,78,81,82],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,28,30,32,35,38,40,42,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,72,76,80,81],[0,1,7,8,10,12,15,16,19,20,26,28,29,30,33,34,35,39,40,41,42,45,46,48,51,52,54,56,57,59,63,65,66,67,68,69,70,73,75,76,79,81,82],[1,2,7,8,9,13,14,16,17,18,20,22,24,27,30,34,36,47,48,49,53,59,61,67,70,73,75,76,77,78,79,80,82],[0,1,4,10,11,14,15,16,19,20,21,23,24,26,31,37,42,43,46,47,51,53,57,58,60,61,62,63,65,69,70,72,74,75,76,79,81,82],[2,3,9,12,13,16,17,22,24,25,26,29,30,31,32,33,35,36,39,41,42,45,46,47,48,49,51,52,53,55,56,57,60,61,66,68,70,72,73,75,78,80],[0,2,3,6,7,11,13,15,16,17,20,22,24,25,31,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,74,75,77,80],[4,11,21,24,25,26,27,28,30,36,37,40,41,42,43,44,51,52,53,54,55,61,62,72,76],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,29,32,33,34,38,39,43,45,47,51,52,53,54,55,57,58,59,61,62,63,64,65,66,68,71,74,76,79,80,82],[57,75,77,79,80,82],[0,2,9,10,12,13,14,15,17,19,22,24,26,27,28,29,33,35,36,39,40,42,45,46,47,49,51,52,53,54,56,57,58,61,63,65,66,68,69,72,73,74,76,78,80,81],[3,6,9,10,11,16,19,20,25,27,28,32,34,38,45,51,54,56,58,65,66,69,70,72,74,75,76,79,81],[1,2,3,6,8,10,11,12,13,17,19,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,67,68,69,72,76,77,81],[0,1,2,6,8,11,12,14,15,16,17,18,22,24,25,26,27,29,32,33,34,35,38,39,40,41,42,44,48,49,52,53,57,58,61,63,67,68,70,72,74,75,76,78,80,82],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,38,40,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,72,73,74,75,76,81,82],[1,2,7,8,9,13,14,16,17,20,22,24,27,30,34,36,45,47,48,49,53,59,61,67,70,74,75,76,78,79],[3,5,7,8,14,16,17,18,19,21,22,23,24,26,32,35,38,41,42,43,45,46,47,48,51,52,54,56,57,61,63,64,67,70,71,72,76,78,79,80,82],[3,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,40,42,46,48,50,52,54,55,59,60,65,66,67,68,69,70,73,75,80,81,82],[0,5,7,9,14,15,16,17,18,20,21,23,24,26,28,31,33,35,40,42,43,45,46,47,48,51,52,53,57,58,60,61,62,63,64,67,69,70,71,72,78,79,81],[49,75,77,78],[29,76,77,78],[30,72,79],[28,75,76,79],[1,2,5,6,8,10,11,13,14,16,18,19,20,21,23,26,29,31,35,37,39,40,41,42,44,45,47,51,52,54,55,59,60,64,66,73,74,75,77,79,81],[0,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,35,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,72,76,77,78,79,81],[1,2,3,4,6,8,9,10,12,13,15,16,18,21,23,27,28,30,32,33,35,36,39,40,41,42,43,48,49,50,53,54,64,65,66,67,68,69,71,74,80,81,82],[0,1,2,3,4,5,6,7,8,10,12,13,14,15,16,17,20,21,24,25,26,27,28,31,32,33,37,40,41,42,43,44,45,49,52,53,54,57,58,60,61,62,63,65,68,70,71,74,76,77,79,81,82],[1,2,3,6,8,11,12,13,17,19,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,68,69,72,73,74,76,77,80,81,82],[7,73,80],[1,4,5,9,10,11,17,18,19,21,23,24,26,27,28,31,35,36,37,39,40,41,42,44,45,48,50,51,52,53,54,55,64,66,67,73,74,75,77,78,80,81],[60,75,77,80],[1,5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,47,53,56,58,59,60,61,62,64,65,66,68,71,72,73,74,75,76,78],[0,1,3,6,8,9,11,14,15,25,27,30,31,32,33,34,38,45,51,56,57,60,63,74,76,78,79,80,82],[1,2,4,5,6,8,10,13,16,18,23,25,26,27,29,31,37,39,44,45,47,52,53,54,55,57,58,59,60,61,62,63,64,66,69,73,74,75],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,40,42,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,74,76,79,80,81,82],[0,1,3,6,7,9,12,16,26,28,29,31,32,34,35,39,41,42,46,48,50,51,52,53,54,55,57,58,59,62,63,65,66,67,68,72,73,74,75,76,78,79,82],[2,4,5,9,12,13,14,15,17,19,21,22,24,26,27,30,33,35,36,39,40,45,46,47,51,52,53,55,56,57,60,63,65,66,68,69,70,72,73,75,76,78,80,81],[3,4,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,40,42,46,48,52,54,55,59,60,65,66,67,68,69,70,72,75,80,81,82],[61,75,76,78,79,80],[0,2,4,5,7,11,12,15,20,21,22,23,24,26,27,31,33,34,36,37,46,47,48,51,53,55,56,57,59,60,61,63,65,67,68,69,70,74,75,76,77,80,81],[2,3,4,6,7,10,14,17,18,20,22,25,26,29,31,32,36,37,38,39,43,45,46,48,54,56,58,60,62,64,66,67,69,70,71,72,73,74,76,77,79,81,82],[24,75,77,81],[26,76,77,81],[4,7,9,10,11,12,13,14,16,18,19,20,22,25,26,28,32,34,35,37,38,39,40,41,42,43,47,49,50,52,54,55,59,60,61,63,66,67,70,73,75,77,81],[0,1,3,4,5,6,7,8,10,13,15,17,20,21,23,25,27,28,29,30,31,32,33,35,37,38,39,40,42,48,49,51,52,54,56,57,59,63,66,67,70,73,75,79,82],[1,4,7,8,11,12,13,18,19,20,24,28,30,34,35,37,40,42,43,45,47,48,49,52,53,55,56,58,61,62,64,67,68,70,71,72,75,76,77,78,80,81],[0,1,3,5,6,7,8,10,12,13,14,15,17,18,20,21,22,23,25,26,29,30,32,33,36,37,38,39,43,45,48,49,54,55,56,57,58,62,63,66,67,69,70,73,74,76,78,79,82],[1,2,4,7,8,9,11,12,13,14,16,17,18,19,20,28,30,34,35,37,40,42,45,47,48,49,52,55,58,59,61,63,64,67,70,73,77,79,80,81],[11,75,76,77,79,81],[0,2,3,4,5,6,10,14,15,16,21,22,23,24,25,28,29,32,33,34,35,36,37,38,39,40,42,47,51,52,53,54,56,57,61,63,66,72,73,74,76,77,78,79,82],[4,7,10,12,13,14,15,18,19,20,22,24,25,28,32,34,35,37,38,40,41,42,43,47,49,50,52,54,55,60,61,62,64,66,67,68,69,70,71,72,76,78,81],[2,3,4,5,6,11,12,13,15,17,19,21,23,24,25,27,31,32,34,38,39,43,45,46,49,51,53,62,68,69,71,72,73,74,76,77,79,82],[2,3,4,5,6,12,13,16,17,19,21,23,25,26,27,32,34,37,38,45,46,49,65,68,69,72,73,74,76,79,80,81,82],[2,7,10,13,14,17,19,20,24,25,27,31,32,34,36,38,41,45,47,49,50,51,53,54,58,59,60,61,62,63,66,67,70,72,74,76,77,78,79,80,81],[1,2,4,5,8,10,11,16,21,22,23,24,27,28,29,30,31,35,36,37,39,40,42,45,47,52,53,54,55,56,60,61,66,73,77,79,80],[0,1,4,5,8,9,11,12,13,14,15,16,17,19,21,23,26,30,31,33,37,46,49,51,55,56,57,60,63,65,68,69,71,73,77,78,79,80],[39,75,76,77,80,81],[0,2,3,4,5,6,9,10,14,15,16,21,22,23,24,25,28,29,32,33,34,35,36,37,38,39,40,42,47,51,52,53,54,56,57,59,61,63,66,74,76,77,81,82],[2,4,9,11,12,14,16,17,18,19,22,27,28,35,36,37,40,42,43,45,52,55,56,58,59,62,65,68,71,72,73,74,75,76,77,78,79],[51,75,77,78,80,81],[3,4,5,6,12,13,16,17,19,21,23,25,26,27,32,34,37,38,45,46,49,53,65,68,69,74,77,78,80,82],[0,3,4,5,6,7,9,13,19,20,21,22,23,27,28,29,31,33,35,40,41,42,43,45,49,50,51,52,53,57,58,60,62,63,64,67,69,70,71,72,77,81,82],[2,3,4,6,7,10,18,20,22,25,26,29,31,32,36,37,38,39,43,45,46,48,54,56,58,60,62,64,66,67,69,70,71,74,76,77,80,81,82],[16,75,77,79,80,81],[4,5,7,9,10,11,13,14,15,17,20,21,23,28,29,31,34,35,37,39,40,42,45,48,49,52,54,55,59,60,66,67,70,72,73,74,75,77,78,81],[0,1,2,4,7,8,9,10,11,14,15,17,18,20,22,26,27,29,30,33,34,36,37,39,43,46,48,51,54,55,57,58,62,64,66,67,69,70,71,73,75,77],[69,76,78,79,80,81],[37,77,78,79,80,81],[1,4,7,8,11,12,13,18,19,20,24,28,30,34,35,37,40,42,45,47,48,49,52,53,55,56,58,61,62,64,65,67,68,70,71,73,79],[33,82],[1,3,4,6,7,8,9,10,14,16,18,19,20,21,23,24,25,29,30,31,35,36,37,38,39,43,46,47,51,53,58,59,60,61,62,65,68,69,70,72,74,76,77,80,81],[0,1,3,5,7,8,9,12,13,14,15,16,17,18,20,21,24,25,26,27,28,31,32,34,35,40,42,43,44,45,47,48,51,53,58,60,61,62,63,64,69,70,71,74,75,81],[44,75,78,82],[36,76,78,82],[1,2,3,6,8,10,11,12,13,17,19,20,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,68,69,73,76,78,79,80,81,82],[1,75,76,77,78,82],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,27,28,30,32,35,38,40,42,43,46,48,52,53,55,56,58,61,62,64,67,69,70,71,73,76,79,81],[3,77,79,82],[40,78,79,82],[0,5,7,9,14,15,16,17,18,20,21,23,24,25,26,28,31,33,34,35,40,42,43,45,46,47,48,51,52,53,57,58,60,61,62,63,64,67,69,70,71,74,78,81,82],[12,75,77,78,79,82],[1,2,3,4,5,6,9,12,14,20,22,23,24,25,30,32,34,35,36,37,38,40,46,49,51,52,53,54,56,57,59,61,64,69,71,72,74,76,78,79,81,82],[0,1,2,3,5,6,7,8,9,10,11,12,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,48,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,72,76,77,78],[3,6,7,9,10,11,12,14,16,19,20,23,25,26,27,28,29,31,32,35,38,39,40,42,46,48,52,54,55,59,60,65,66,67,68,69,70,74,75,78,81],[1,4,5,7,9,10,11,17,18,19,28,33,34,35,37,40,45,48,52,64,65,67,71,73,75,76,78,80],[3,5,7,9,10,17,18,19,20,21,23,24,25,26,27,30,32,33,34,35,41,42,43,45,46,47,51,52,53,54,55,57,58,61,62,64,65,67,71,74,75,77,78,79,80,82],[4,11,21,24,25,26,27,28,30,36,37,40,41,42,43,44,51,52,53,54,55,61,62,73,74,76,79,80,82],[52,75,76,79,80,82],[2,3,5,6,9,11,13,14,18,21,22,23,25,26,28,32,34,35,36,38,40,42,43,46,49,52,55,56,57,58,59,62,64,69,71,74,78,79,81,82],[58,76,77,79,80,82],[1,3,5,6,8,11,12,14,16,17,18,20,21,23,24,25,27,28,29,30,31,32,34,38,39,43,45,47,51,53,59,60,61,62,64,68,69,70,71,72,73,74,78,81,82],[0,1,3,6,9,11,14,15,25,27,30,31,32,33,34,38,45,51,55,56,57,60,63,72,76,78,80],[5,6,11,12,13,14,16,17,21,23,24,25,28,29,30,31,32,34,36,38,39,41,43,44,45,46,48,51,53,59,60,61,62,64,67,68,69,70,71,72,73,74,77,78,79,81],[0,1,7,8,10,12,15,16,19,20,21,26,28,29,30,33,34,35,39,40,42,45,46,48,51,52,54,56,57,59,63,65,66,67,68,69,70,74,75,79,80,81],[0,1,2,6,9,10,11,12,13,15,17,20,24,25,26,29,30,33,35,36,39,41,42,46,47,49,52,55,56,58,61,62,65,66,68,73,74,75,76,79],[34,75,76,78],[2,5,7,10,12,13,16,18,19,20,21,22,23,27,29,31,34,36,39,43,48,54,56,58,60,62,64,65,66,67,68,70,71,72,77,79,80],[0,2,3,6,7,11,13,15,16,17,20,22,24,25,29,31,32,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,73,75,77,82],[30,79],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,28,29,32,33,34,38,39,43,45,47,51,53,54,55,57,58,59,61,62,63,64,65,66,68,71,73,75,80,82],[1,3,8,9,10,16,19,20,22,25,28,29,31,32,34,36,37,38,39,41,43,44,45,46,47,49,51,54,56,58,60,62,66,69,71,74,75,77,78,82],[5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,47,53,54,56,58,59,60,61,62,64,65,66,68,71,77,79,80],[2,3,4,5,6,13,14,15,16,17,19,24,27,28,29,31,32,33,35,36,40,41,42,47,48,49,50,56,58,59,60,61,62,67,69,76,81,82],[2,4,5,7,9,10,11,12,13,16,17,20,21,24,26,28,30,34,37,38,40,41,42,43,44,49,51,52,53,54,55,56,58,61,62,65,68,70,71,72,73,76,77,81],[10,77,78,79],[1,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,35,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,74,78,81],[7,80],[0,1,3,4,6,9,12,15,25,26,28,29,31,32,33,34,35,36,37,38,40,41,42,43,44,47,48,50,52,57,58,59,61,62,63,65,67,68,71,72,73,74,75,76,77,78,79,81,82],[2,3,5,6,9,11,13,14,18,21,22,23,25,26,28,32,34,35,36,38,40,42,43,46,49,52,55,56,58,59,60,62,64,69,71,72,75,77,78,79,80,81,82],[0,2,9,10,12,13,14,15,17,19,22,24,26,27,28,29,33,35,36,39,40,42,45,46,47,49,51,52,53,54,56,57,61,63,65,66,68,69,70,73,76,78,80,81],[54,75,78,80],[55,76,78,80],[3,4,5,11,12,16,17,18,19,22,23,24,27,28,30,32,34,35,36,37,38,40,42,44,45,46,49,57,58,59,62,63,64,65,68,73,75,76,78,79,80,81,82],[0,1,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,72,73,74,78,81],[38,75,79,80],[3,6,8,9,10,15,19,20,30,31,32,33,40,41,45,50,53,55,56,58,62,69,70,76,78,80,81,82],[1,4,5,7,8,12,15,16,19,20,21,26,33,34,35,39,40,45,46,48,49,51,52,55,56,57,59,60,61,63,65,66,67,68,69,74,79,80,81],[0,1,2,3,6,7,8,9,10,11,12,13,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,48,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,74,75,78,80,82],[0,5,7,9,14,15,16,17,18,20,21,23,24,26,28,31,33,34,35,40,42,43,45,46,47,48,51,52,53,57,58,60,62,63,64,67,69,70,71,73,78,80,81],[2,5,7,10,12,13,16,18,19,20,21,23,27,29,31,34,36,39,43,48,49,54,56,58,60,62,64,65,66,67,68,70,71,73,75,78,79,80],[0,2,3,7,11,13,15,16,17,20,22,24,25,31,32,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,72,75,76,78,82],[19,81],[14,75,76,81],[0,3,4,6,7,9,12,13,14,15,18,19,20,25,27,28,31,32,33,35,37,38,40,42,43,47,48,49,51,52,53,57,58,60,61,62,63,64,65,67,68,70,71,72,73,74,76,78,79,80,82],[4,5,7,9,10,11,13,14,17,20,21,23,26,28,29,31,34,35,37,39,40,42,45,48,49,52,54,55,59,60,66,67,70,74,75,76,78],[0,1,2,4,7,8,9,10,11,14,15,17,18,20,22,26,27,29,30,33,34,36,37,39,43,46,48,51,54,55,57,58,62,63,64,66,67,68,69,70,71,72,75,77],[1,2,3,5,6,8,10,11,13,16,18,21,23,24,28,30,34,35,36,39,40,41,42,43,45,46,48,49,50,52,53,54,55,60,63,65,66,68,69,76,79,80,81,82],[31,77,78,81],[2,4,5,7,10,13,14,16,19,20,21,23,26,28,29,31,34,35,39,40,42,45,48,49,51,52,54,55,56,59,60,64,65,66,67,68,69,70,71,74,76,77,78,79,80,81],[5,7,9,10,12,13,14,17,18,19,20,21,22,23,24,27,29,31,34,36,39,48,49,53,54,58,59,60,63,64,66,67,70,72,73,76,80],[0,1,4,5,8,9,11,12,13,14,15,16,17,19,21,23,26,30,31,33,37,46,49,51,55,56,57,60,62,63,65,68,69,72,77,78,79,80],[1,3,4,6,8,9,10,11,13,14,16,18,24,25,26,27,29,30,31,32,34,37,38,39,43,45,46,47,49,53,54,56,58,59,60,61,62,64,66,69,71,73,75,78,79,81,82],[9,78,79,81],[2,7,9,10,11,13,15,16,17,20,24,25,27,32,34,36,38,41,45,47,49,50,54,56,58,59,60,61,65,66,67,69,70,72,74,76,77,78,79,80],[0,2,3,5,6,10,12,16,17,18,19,21,23,25,26,27,29,31,32,33,34,37,38,45,47,54,55,57,58,59,61,63,64,66,68,72,73,78,82],[2,76,77,78,79,81],[0,1,3,4,6,7,8,10,12,13,14,15,16,18,20,22,24,27,28,30,33,35,37,40,41,42,43,45,47,49,50,52,53,54,57,61,64,65,66,67,68,70,71,74,76,78,79,82],[56,76,80,81],[1,3,4,6,8,9,10,13,14,16,18,24,25,26,27,29,30,31,32,34,37,38,43,45,46,47,49,53,54,56,58,59,60,61,62,64,66,69,71,72,75,78,80,81,82],[64,75,76,78,80,81],[0,4,10,11,13,15,16,18,24,26,29,33,37,39,43,46,47,49,53,54,55,57,58,59,61,62,63,64,66,69,71,72,73,74,75,76,79,80,81],[2,3,6,9,11,12,13,15,24,26,28,29,34,35,36,37,40,41,42,43,45,46,47,48,49,50,52,55,56,58,59,61,62,64,65,68,71,73,74,75,76,80,81,82],[17,75,76,79,80,81],[0,3,4,6,7,9,12,13,14,15,16,18,19,20,24,25,27,28,31,32,33,35,37,38,40,42,43,47,48,49,51,52,53,57,58,60,61,62,63,64,65,67,68,70,71,74,76,78,82],[1,2,3,4,5,6,7,8,9,12,14,19,20,21,22,23,24,25,26,30,32,36,37,38,45,46,47,48,53,59,61,65,67,68,70,72,75,77,78,81,82],[0,1,3,4,5,6,7,8,10,13,15,17,20,21,23,25,27,28,29,30,32,33,35,38,39,40,42,48,49,51,52,54,56,57,59,63,66,67,70,72,75,80,82],[43,75,76,77,78,79,80,81],[33,74,82],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,29,32,33,34,38,39,43,45,47,51,53,54,55,57,58,59,61,62,63,64,65,68,71,72,73,74,76,79,80,82],[1,2,4,5,7,8,10,11,13,16,19,20,22,24,26,28,29,30,31,32,34,37,39,40,42,47,49,51,52,53,55,56,60,61,64,65,68,70,71,73,76,77,78,79,80,82],[1,2,3,5,7,8,10,16,18,19,20,21,22,25,29,31,32,33,34,36,39,43,44,46,48,49,52,54,56,57,58,60,62,64,65,66,68,70,71,75,76,78,80],[1,5,8,9,10,12,14,17,18,19,21,23,24,29,30,31,39,43,44,47,53,54,56,58,59,60,61,62,64,65,66,68,71,72,75,76,78,80,82],[0,1,3,6,8,9,11,14,15,25,27,30,31,32,33,34,36,38,45,51,55,56,57,60,63,73,76,78,79],[0,2,5,8,13,15,18,21,22,23,26,27,28,30,31,33,35,36,40,42,43,45,46,49,51,52,57,58,59,60,62,63,64,69,71,72,75,76,77,81,82],[47,75,79,82],[0,1,7,8,10,12,15,16,19,20,26,28,29,30,33,34,35,39,40,42,45,48,51,52,54,56,57,59,63,65,66,67,68,69,70,72,75,79,80,81],[1,2,3,7,8,9,13,14,16,17,20,22,24,27,30,34,36,47,48,49,53,59,61,67,70,72,75,76,77,78,82],[0,1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,18,19,20,21,22,23,25,29,30,32,33,36,38,39,43,45,49,51,54,55,57,58,62,63,64,65,66,67,68,70,71,73,75,78,80,82],[3,6,7,9,10,11,12,14,16,19,20,25,26,27,28,29,31,32,35,38,39,42,46,48,52,54,55,59,60,65,66,67,68,69,70,72,73,74,75,78,79,80,81],[25,75,76,78,79,82],[2,5,7,10,13,16,18,19,20,21,22,23,27,29,31,34,36,39,43,48,49,54,56,58,60,62,64,65,66,67,68,70,71,74,77,80,82],[0,1,4,5,7,9,11,12,13,14,15,16,17,23,30,31,33,34,35,37,40,45,46,47,48,52,54,55,60,63,64,67,69,70,71,73,75,79,81],[1,3,5,6,7,8,11,16,17,18,20,21,23,24,25,26,28,30,32,35,38,40,42,43,46,47,48,52,53,55,56,58,61,62,64,67,69,70,71,72,75,76,81,82],[0,1,7,8,10,12,15,16,19,20,26,28,29,30,33,34,35,39,40,41,42,45,46,48,51,52,54,56,57,59,63,65,66,67,68,69,70,73,75,79,80,81],[1,2,7,8,9,13,14,16,17,18,20,22,24,27,30,34,36,47,48,49,53,59,61,67,70,73,75,76,78,79],[13,75,76,77,80,82],[23,78,80,82],[0,1,4,10,11,14,15,16,19,20,21,23,24,26,31,37,42,43,46,47,51,53,57,58,60,61,62,63,65,69,70,72,74,78,79,80,81],[2,3,9,12,13,16,17,22,24,25,26,29,30,31,32,33,35,36,39,41,42,45,46,47,48,49,51,52,53,55,56,57,60,61,66,68,70,72,73,77,82],[0,2,3,6,7,11,13,15,16,17,20,22,24,25,31,33,36,38,45,47,48,49,51,53,55,56,57,59,60,61,63,67,70,74,75,76,78,82],[4,11,21,24,25,26,27,28,30,36,37,40,41,42,43,44,51,52,53,54,55,61,62,72,76,79,80,82],[0,3,5,6,10,11,12,15,17,18,19,21,23,24,25,27,29,32,33,34,38,39,43,45,47,51,52,53,54,55,57,58,59,61,62,63,64,65,66,68,71,74,75],[0,2,9,10,12,13,14,15,17,19,22,24,26,27,28,29,33,35,36,39,40,42,45,46,47,49,51,52,53,54,56,57,58,61,63,65,66,68,69,72,73,74,77,78,79,81,82],[3,6,9,10,11,16,19,20,25,27,28,32,34,38,45,51,54,56,58,65,66,69,70,72,74,76,78,80,81,82],[8,76,78,79,80,82],[1,2,3,6,8,10,11,12,13,17,19,22,24,25,26,28,29,30,31,32,34,35,36,38,39,40,42,46,47,49,52,53,54,55,60,61,65,66,67,68,69,72,76,78,79,80,81,82],[0,1,2,6,8,11,12,14,15,16,17,18,22,24,25,26,27,29,32,33,34,35,38,39,40,41,42,44,48,49,52,53,57,58,61,63,67,68,70,72,74,77,79]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,10,94],"A_d":2254,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,1],[2,2],[3,1],[4,1],[5,2],[6,1],[7,1],[8,2],[9,1],[10,1],[11,1],[12,1],[13,2],[14,1],[15,2],[16,1],[17,1],[18,2],[19,1],[20,1],[21,2],[22,2],[23,2],[24,1],[25,1],[26,2],[27,2],[28,2],[29,1],[30,2],[31,2],[32,1],[33,2],[34,1],[35,2],[36,2],[37,1],[38,1],[39,1],[40,2],[41,1],[42,2],[43,2],[44,1],[45,2],[46,2],[47,1],[48,1],[49,2],[50,1],[51,2],[52,2],[53,1],[54,1],[55,1],[56,1],[57,2],[58,2],[59,2],[60,2],[61,1],[62,2],[63,2],[64,2],[65,1],[66,1],[67,1],[68,1],[69,2],[70,1],[71,2],[72,1],[78,1],[81,1]],"CZ":[[0,2],[0,5],[0,8],[0,13],[0,15],[0,18],[0,21],[0,22],[0,23],[0,26],[0,27],[0,28],[0,30],[0,31],[0,33],[0,35],[0,36],[0,40],[0,42],[0,43],[0,45],[0,46],[0,49],[0,51],[0,52],[0,57],[0,58],[0,59],[0,60],[0,62],[0,63],[0,64],[0,69],[0,71],[0,72],[0,78],[0,81],[2,5],[2,8],[2,13],[2,15],[2,18],[2,21],[2,22],[2,23],[2,26],[2,27],[2,28],[2,30],[2,31],[2,33],[2,35],[2,36],[2,40],[2,42],[2,43],[2,45],[2,46],[2,49],[2,51],[2,52],[2,57],[2,58],[2,59],[2,60],[2,62],[2,63],[2,64],[2,69],[2,71],[2,72],[2,78],[2,81],[5,8],[5,13],[5,15],[5,18],[5,21],[5,22],[5,23],[5,26],[5,27],[5,28],[5,30],[5,31],[5,33],[5,35],[5,36],[5,40],[5,42],[5,43],[5,45],[5,46],[5,49],[5,51],[5,52],[5,57],[5,58],[5,59],[5,60],[5,62],[5,63],[5,64],[5,69],[5,71],[5,72],[5,78],[5,81],[8,13],[8,15],[8,18],[8,21],[8,22],[8,23],[8,26],[8,27],[8,28],[8,30],[8,31],[8,33],[8,35],[8,36],[8,40],[8,42],[8,43],[8,45],[8,46],[8,49],[8,51],[8,52],[8,57],[8,58],[8,59],[8,60],[8,62],[8,63],[8,64],[8,69],[8,71],[8,72],[8,78],[8,81],[13,15],[13,18],[13,21],[13,22],[13,23],[13,26],[13,27],[13,28],[13,30],[13,31],[13,33],[13,35],[13,36],[13,40],[13,42],[13,43],[13,45],[13,46],[13,49],[13,51],[13,52],[13,57],[13,58],[13,59],[13,60],[13,62],[13,63],[13,64],[13,69],[13,71],[13,72],[13,78],[13,81],[15,18],[15,21],[15,22],[15,23],[15,26],[15,27],[15,28],[15,30],[15,31],[15,33],[15,35],[15,36],[15,40],[15,42],[15,43],[15,45],[15,46],[15,49],[15,51],[15,52],[15,57],[15,58],[15,59],[15,60],[15,62],[15,63],[15,64],[15,69],[15,71],[15,72],[15,78],[15,81],[18,21],[18,22],[18,23],[18,26],[18,27],[18,28],[18,30],[18,31],[18,33],[18,35],[18,36],[18,40],[18,42],[18,43],[18,45],[18,46],[18,49],[18,51],[18,52],[18,57],[18,58],[18,59],[18,60],[18,62],[18,63],[18,64],[18,69],[18,71],[18,72],[18,78],[18,81],[21,22],[21,23],[21,26],[21,27],[21,28],[21,30],[21,31],[21,33],[21,35],[21,36],[21,40],[21,42],[21,43],[21,45],[21,46],[21,49],[21,51],[21,52],[21,57],[21,58],[21,59],[21,60],[21,62],[21,63],[21,64],[21,69],[21,71],[21,72],[21,78],[21,81],[22,23],[22,26],[22,27],[22,28],[22,30],[22,31],[22,33],[22,35],[22,36],[22,40],[22,42],[22,43],[22,45],[22,46],[22,49],[22,51],[22,52],[22,57],[22,58],[22,59],[22,60],[22,62],[22,63],[22,64],[22,69],[22,71],[22,72],[22,78],[22,81],[23,26],[23,27],[23,28],[23,30],[23,31],[23,33],[23,35],[23,36],[23,40],[23,42],[23,43],[23,45],[23,46],[23,49],[23,51],[23,52],[23,57],[23,58],[23,59],[23,60],[23,62],[23,63],[23,64],[23,69],[23,71],[23,72],[23,78],[23,81],[26,27],[26,28],[26,30],[26,31],[26,33],[26,35],[26,36],[26,40],[26,42],[26,43],[26,45],[26,46],[26,49],[26,51],[26,52],[26,57],[26,58],[26,59],[26,60],[26,62],[26,63],[26,64],[26,69],[26,71],[26,72],[26,78],[26,81],[27,28],[27,30],[27,31],[27,33],[27,35],[27,36],[27,40],[27,42],[27,43],[27,45],[27,46],[27,49],[27,51],[27,52],[27,57],[27,58],[27,59],[27,60],[27,62],[27,63],[27,64],[27,69],[27,71],[27,72],[27,78],[27,81],[28,30],[28,31],[28,33],[28,35],[28,36],[28,40],[28,42],[28,43],[28,45],[28,46],[28,49],[28,51],[28,52],[28,57],[28,58],[28,59],[28,60],[28,62],[28,63],[28,64],[28,69],[28,71],[28,72],[28,78],[28,81],[30,31],[30,33],[30,35],[30,36],[30,40],[30,42],[30,43],[30,45],[30,46],[30,49],[30,51],[30,52],[30,57],[30,58],[30,59],[30,60],[30,62],[30,63],[30,64],[30,69],[30,71],[30,72],[30,78],[30,81],[31,33],[31,35],[31,36],[31,40],[31,42],[31,43],[31,45],[31,46],[31,49],[31,51],[31,52],[31,57],[31,58],[31,59],[31,60],[31,62],[31,63],[31,64],[31,69],[31,71],[31,72],[31,78],[31,81],[33,35],[33,36],[33,40],[33,42],[33,43],[33,45],[33,46],[33,49],[33,51],[33,52],[33,57],[33,58],[33,59],[33,60],[33,62],[33,63],[33,64],[33,69],[33,71],[33,72],[33,78],[33,81],[35,36],[35,40],[35,42],[35,43],[35,45],[35,46],[35,49],[35,51],[35,52],[35,57],[35,58],[35,59],[35,60],[35,62],[35,63],[35,64],[35,69],[35,71],[35,72],[35,78],[35,81],[36,40],[36,42],[36,43],[36,45],[36,46],[36,49],[36,51],[36,52],[36,57],[36,58],[36,59],[36,60],[36,62],[36,63],[36,64],[36,69],[36,71],[36,72],[36,78],[36,81],[40,42],[40,43],[40,45],[40,46],[40,49],[40,51],[40,52],[40,57],[40,58],[40,59],[40,60],[40,62],[40,63],[40,64],[40,69],[40,71],[40,72],[40,78],[40,81],[42,43],[42,45],[42,46],[42,49],[42,51],[42,52],[42,57],[42,58],[42,59],[42,60],[42,62],[42,63],[42,64],[42,69],[42,71],[42,72],[42,78],[42,81],[43,45],[43,46],[43,49],[43,51],[43,52],[43,57],[43,58],[43,59],[43,60],[43,62],[43,63],[43,64],[43,69],[43,71],[43,72],[43,78],[43,81],[45,46],[45,49],[45,51],[45,52],[45,57],[45,58],[45,59],[45,60],[45,62],[45,63],[45,64],[45,69],[45,71],[45,72],[45,78],[45,81],[46,49],[46,51],[46,52],[46,57],[46,58],[46,59],[46,60],[46,62],[46,63],[46,64],[46,69],[46,71],[46,72],[46,78],[46,81],[49,51],[49,52],[49,57],[49,58],[49,59],[49,60],[49,62],[49,63],[49,64],[49,69],[49,71],[49,72],[49,78],[49,81],[51,52],[51,57],[51,58],[51,59],[51,60],[51,62],[51,63],[51,64],[51,69],[51,71],[51,72],[51,78],[51,81],[52,57],[52,58],[52,59],[52,60],[52,62],[52,63],[52,64],[52,69],[52,71],[52,72],[52,78],[52,81],[57,58],[57,59],[57,60],[57,62],[57,63],[57,64],[57,69],[57,71],[57,72],[57,78],[57,81],[58,59],[58,60],[58,62],[58,63],[58,64],[58,69],[58,71],[58,72],[58,78],[58,81],[59,60],[59,62],[59,63],[59,64],[59,69],[59,71],[59,72],[59,78],[59,81],[60,62],[60,63],[60,64],[60,69],[60,71],[60,72],[60,78],[60,81],[62,63],[62,64],[62,69],[62,71],[62,72],[62,78],[62,81],[63,64],[63,69],[63,71],[63,72],[63,78],[63,81],[64,69],[64,71],[64,72],[64,78],[64,81],[69,71],[69,72],[69,78],[69,81],[71,72],[71,78],[71,81],[72,78],[72,81],[78,81]]},"rotation_powers":[[0,7],[1,7],[2,7],[3,7],[4,7],[5,5],[7,3],[9,7],[10,5],[11,3],[13,7],[14,5],[15,5],[16,5],[17,3],[18,5],[20,7],[21,5],[23,5],[24,3],[25,5],[26,7],[27,3],[28,7],[29,3],[30,3],[32,3],[33,3],[34,3],[35,3],[37,7],[38,7],[39,5],[40,7],[41,5],[43,3],[44,3],[45,7],[46,3],[47,3],[48,5],[49,7],[50,7],[51,7],[52,3],[53,7],[54,5],[55,7],[56,3],[57,5],[58,3],[59,7],[61,3],[62,5],[63,5],[64,3],[65,3],[66,5],[67,7],[71,3],[74,5],[83,3],[88,3],[90,3],[92,3],[93,3],[94,3],[97,3],[98,7],[99,3],[100,3],[101,3],[103,3],[104,3],[105,3],[106,3],[108,3],[111,3],[113,3],[114,3],[115,3],[116,3],[117,3],[119,3],[120,3],[135,3],[139,3],[142,3],[144,3],[146,3],[149,3],[153,3],[154,3],[155,3],[157,3],[158,3],[159,3],[160,3],[161,5],[163,3],[165,3],[166,3],[172,3],[174,3],[177,3],[178,3],[179,3],[182,3],[183,3],[184,3],[186,3],[187,3],[188,3],[189,3],[190,3],[191,3],[193,3],[195,3],[197,3],[198,3],[199,3],[201,3],[204,3],[206,3],[208,3],[209,3],[214,3],[215,3],[218,3],[219,3],[224,3],[225,3],[228,3],[229,3],[233,3],[239,3],[240,3],[243,3],[247,3],[248,3],[249,3],[251,3],[254,3],[256,3],[258,3],[260,3],[261,3],[263,3],[265,3],[266,3],[267,3],[269,3],[270,3],[271,3],[272,3],[275,3],[277,3],[279,3],[280,3],[282,3],[284,3],[289,3],[291,3],[292,3],[293,3],[299,3],[300,3],[304,3],[305,3],[306,3]]},"metrics":{"gamma":1.328863870832027,"gamma_t":null,"gamma_rho":1.328863870832027,"gamma_claim":1.328863870832027,"gamma_t_claim":null,"gamma_rho_claim":1.328863870832027,"v_ex":72,"rate":0.23225806451612904,"t_count":null,"poly_degree":null,"effective_width":72},"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/paired_column_contraction_310_72_3_07b415183008.json","label":"paired_column_contraction_310_72_3_07b415183008","N":83,"d":3,"d_is_exact":true,"origin":"Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=96), with searched graph punctures; 1 paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_310_72_3_07b415183008 (source catalogue id paired_column_contraction_310_72_3_07b415183008); construction: Wills-derived four-block Schur-orthogonal restricted-light parent (|S|=96), with searched graph punctures; 1 paired-column contraction; matrix 07b415183008901e...; the release states d=3 (exact), gamma=1.328863870832027 (exact)","notes":"matrix gamma_frontier_release/matrices/07b415183008901e44bd99889451f2a1d11aa7325d3b8d2d0ae92924e0ea56a3.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"}]}