{"id":"324.76.3.a","row":977,"stored":{"file":"master_catalog.json","row":977,"construction":null,"columns_sha256":null},"parameters":{"n":324,"k":76,"d":3,"N":87,"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+72+73+74+75","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\u00b7T72\u00b7T73\u00b7T74\u00b7T75","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],[72],[73],[74],[75]],"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],[72],[73],[74],[75]],"sk_fingerprint":"5a25a0ea5c38712a","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[4,7,9,11,12,13,14,15,16,17,21,24,27,28,29,32,34,37,39,40,42,46,50,51,57,59,60,61,62,63,67,68,76,77,79,80,81,84,85],[0,1,2,3,4,5,9,10,14,17,21,22,23,24,25,26,27,29,34,35,42,43,44,45,46,47,48,49,52,55,61,62,63,66,67,69,71,73,76,77,78,79,80,81,83,85,86],[49,82],[3,5,8,9,10,11,14,16,18,19,28,32,34,35,37,38,40,41,43,45,46,48,53,54,60,61,62,63,70,74,75,77,81,83,85],[52,79,81,82],[3,4,7,8,13,15,16,17,18,21,24,27,29,32,38,39,41,42,45,50,51,54,55,57,59,61,63,67,68,70,74,75,76,77,80,82,84],[1,2,3,4,10,11,12,13,16,19,26,29,30,31,35,39,40,42,43,44,45,46,48,50,51,52,53,54,56,58,62,64,65,67,69,70,71,73,76,80,81],[5,9,10,14,15,16,17,18,21,30,34,35,37,38,43,44,45,46,51,54,60,70,72,73,75,78,81,82],[2,3,5,8,9,10,13,14,16,18,19,22,23,25,28,32,33,34,35,37,38,39,41,44,46,48,49,50,51,52,54,58,59,61,62,65,67,74,75,77,81,82,83,84,86],[0,10,11,13,14,16,17,21,22,23,24,25,27,30,31,34,39,40,47,50,51,52,53,54,58,59,60,64,65,66,67,70,71,78,79,80,81,82,84,85,86],[43,79,81,84],[35,79,82,84],[67,79,83,84],[0,2,10,14,16,17,20,21,24,27,30,31,33,34,43,44,45,47,49,54,60,64,66,78,79,80,83,84],[0,3,8,10,13,14,15,19,20,22,23,24,25,27,28,31,32,34,39,41,44,47,50,52,54,58,59,60,61,62,64,65,66,67,70,71,72,73,74,77,81,82,83,86],[0,1,2,3,5,7,9,11,13,15,16,22,23,25,26,28,36,37,39,40,43,44,45,47,48,49,50,51,52,53,55,56,57,59,64,66,67,68,73,78,81,82,84,86],[0,2,3,7,10,11,13,14,16,17,18,21,22,23,25,26,28,30,34,35,36,38,39,40,46,47,48,49,50,52,53,54,55,56,57,59,60,66,67,68,70,72,75,77,79,81,84,85,86],[1,2,4,5,8,9,13,14,16,26,28,29,30,31,32,34,35,37,39,41,42,43,44,50,51,55,58,59,60,61,63,65,69,73,74,75,76,77,83],[0,5,7,8,9,11,17,21,26,30,32,33,36,37,40,41,44,47,51,53,55,56,57,58,60,61,62,64,65,66,68,70,71,72,74,77,79,82,85],[1,7,8,13,14,15,16,17,18,21,24,27,30,32,35,39,40,41,42,43,44,45,46,51,52,56,57,59,60,61,62,63,67,72,73,75,76,77,80,82,84,85],[0,3,7,10,14,16,17,18,20,21,26,28,30,33,34,35,36,38,43,44,45,46,47,48,51,54,56,57,58,63,64,65,66,68,71,72,75,77,79,81,82],[0,1,4,5,7,10,12,14,15,16,18,19,20,26,28,29,30,32,33,35,37,40,44,46,47,48,49,50,52,53,54,56,57,58,59,60,61,62,63,65,66,72,74,78],[61,81,83,85],[69,80,81,82,83,85],[0,2,4,8,10,11,15,18,20,24,27,28,29,30,31,32,33,34,36,41,43,44,45,46,47,49,50,51,59,61,63,64,66,68,70,77,82,85],[2,5,7,8,9,10,11,14,16,19,20,24,26,27,31,32,34,37,40,41,43,45,49,51,53,54,55,56,57,58,60,61,62,65,68,70,71,72,74,78,83,84],[0,2,3,4,10,16,17,19,21,24,27,29,31,33,34,36,38,40,43,45,46,47,48,49,50,53,59,62,64,66,68,70,72,73,74,78,80,84,85],[5,80,82,83,84,85],[0,7,8,10,11,17,18,19,21,26,30,33,35,37,38,40,41,43,44,47,48,51,55,56,57,58,59,61,62,63,64,65,66,67,68,70,71,72,74,79,81,82,83],[1,3,4,5,6,13,15,16,18,20,21,23,24,25,26,27,31,33,35,38,39,40,43,44,45,46,47,48,50,52,53,54,55,57,59,61,63,65,66,67,72,75,76,79,80,81,84],[1,2,3,6,8,10,15,16,18,21,26,27,28,29,32,35,36,39,41,46,48,49,50,51,54,55,57,58,59,61,63,68,70,71,72,75,76,80,81,83,84,86],[3,5,9,10,14,15,17,18,21,30,34,35,37,38,43,44,45,46,51,54,60,70,72,73,75,77,79,82,86],[0,4,5,9,11,13,14,18,19,22,23,24,25,27,28,30,31,35,38,39,40,41,43,45,46,47,49,51,52,54,59,62,65,66,67,71,72,73,74,82,83,85],[0,4,5,7,9,14,15,16,19,26,28,29,30,33,37,40,44,46,47,50,53,54,55,56,57,58,59,60,63,64,65,66,71,72,74,77,82,83,84,85],[1,2,3,5,7,9,11,15,18,19,21,22,23,24,25,27,29,30,33,34,37,38,42,44,48,49,51,52,56,57,62,63,65,69,70,72,74,75,76,83,84,85,86],[24,81,82,86],[2,3,5,8,9,10,13,14,16,18,19,22,23,25,28,32,33,34,35,37,38,39,41,44,46,48,49,50,51,52,54,58,59,61,62,65,66,67,71,74,75,78,79,80,84,86],[0,2,5,9,10,11,13,14,15,17,18,20,21,22,23,25,30,33,34,35,37,38,39,40,46,49,50,52,53,54,58,59,63,65,67,71,72,73,75,77,79,84,85],[0,3,4,7,8,10,11,15,18,20,26,27,29,30,32,33,34,35,38,41,43,44,45,47,48,50,55,56,57,58,59,61,64,65,66,70,71,72,75,77,79,80,81,84],[2,4,11,13,20,22,23,25,33,39,40,43,44,45,49,50,51,52,53,58,59,60,63,65,67,70,71,78,82,84,85],[8,79,80,81,83,86],[29,82,83,86],[28,79,80,82,83,86],[0,4,6,7,11,16,17,21,22,23,24,25,26,28,34,35,38,40,47,49,50,52,53,54,55,56,59,60,64,65,66,67,69,70,71,74,75,78,81,82,83,84,85],[1,3,5,6,8,9,11,13,16,17,19,23,25,26,28,29,31,32,34,35,36,37,40,41,42,43,44,46,48,51,52,53,54,55,57,60,61,65,66,67,68,72,76,77,78,81,82,83,85],[54,79,84,86],[3,4,7,8,13,14,15,16,18,20,21,22,23,24,25,26,27,29,31,32,33,35,38,39,40,41,43,44,45,48,51,52,53,54,55,56,57,60,61,63,67,72,75,78,80,82,85],[0,1,4,7,10,11,13,14,16,17,21,23,24,31,34,35,36,39,42,47,50,51,52,56,58,59,62,63,64,65,67,68,71,72,76,79,81,82,83],[0,1,3,4,6,8,9,11,12,14,15,17,18,20,24,25,28,30,31,32,33,35,36,43,45,46,48,50,51,52,55,56,58,59,63,64,67,68,70,71,76,77,79,80,84,86],[0,6,7,11,16,18,21,22,23,24,25,26,27,31,34,35,36,38,39,40,45,46,47,48,50,52,53,54,57,58,59,60,64,66,70,71,72,75,76,78,81,82,84],[0,3,8,10,13,14,19,20,22,23,24,25,27,28,31,32,34,39,41,44,47,48,50,52,54,58,59,60,61,62,64,65,66,67,70,71,72,73,74,78,81,82,83,86],[0,10,11,13,14,16,17,21,22,23,24,25,27,30,31,34,39,40,47,50,51,52,53,54,58,59,60,63,64,65,66,67,70,71,73,77,79,80,81,82,83,84,85],[0,5,6,9,11,13,15,16,18,22,23,24,25,27,31,35,37,38,39,40,43,44,45,46,47,50,52,53,58,59,63,64,65,66,67,71,72,73,75,78,79,80,85,86],[0,1,5,6,7,8,9,10,14,21,24,25,28,29,30,31,32,37,38,39,41,42,47,52,53,54,56,57,58,59,61,62,63,64,70,71,76,77,78,79,80,82,84,85,86],[0,1,3,5,9,10,12,16,20,23,24,26,29,31,32,33,36,37,41,46,48,51,52,55,56,57,58,60,61,63,64,71,73,78,79,80,81,84,86],[4,7,11,13,14,18,19,22,23,24,25,26,27,28,29,31,33,35,38,39,43,45,52,54,55,56,57,60,62,67,73,74,75,77,79,80,82,83,84,86],[0,2,3,5,8,9,11,17,18,19,21,24,27,28,30,31,32,33,34,35,37,38,40,41,44,46,47,48,49,53,60,61,62,63,64,66,70,74,75,77,79,80,83,85,86],[0,3,7,10,14,16,17,18,20,21,26,28,30,33,34,35,36,38,43,44,45,46,48,51,54,55,56,57,58,63,64,65,66,68,71,72,75,78,79,81,82,83,86],[0,3,5,7,9,15,16,20,26,28,33,36,37,47,48,55,56,57,58,60,63,64,65,66,68,70,71,73,74,77,81,83,86],[0,1,4,8,11,13,14,17,18,19,20,24,26,27,28,29,33,38,39,40,42,43,44,47,48,49,53,54,55,65,66,67,68,69,70,72,73,75,76,77,78,80,81,82,84,86],[40,82,85,86],[0,2,7,8,10,13,14,15,18,19,20,22,23,25,26,32,34,35,36,38,39,41,44,46,47,49,50,51,52,54,55,56,57,58,59,60,61,62,63,64,66,67,68,70,73,74,75,77,82,83,84],[3,4,14,19,20,29,30,36,39,40,44,46,48,50,53,54,59,62,68,70,72,73,74,78,79,81,84,85,86],[22,80,81,82,85,86],[0,1,2,5,7,8,10,11,14,15,18,20,21,23,25,32,33,34,35,37,38,39,41,46,49,50,51,52,54,56,57,58,59,60,62,63,65,66,67,69,73,75,76,78,79,81,82],[42,79,80,83,85,86],[33,79,80,81,82,83,85,86],[2,3,5,7,9,10,14,15,17,21,24,26,27,28,30,31,34,36,37,43,44,45,48,49,54,55,56,57,58,60,63,65,68,71,73,78,79,80,84,85],[0,4,8,10,13,15,22,23,24,25,27,28,29,30,31,32,34,36,39,40,41,46,47,51,52,53,58,60,61,64,65,66,67,68,71,78,79,80,81,83,85],[0,4,5,8,9,13,14,17,18,21,22,23,24,27,28,29,31,32,35,36,37,38,39,40,41,43,44,45,47,51,52,53,54,58,61,64,65,66,67,68,70,71,72,73,75,77,80,81,82,83,85],[0,3,4,5,7,8,9,12,13,14,15,18,19,20,23,26,29,30,34,37,38,39,40,42,44,50,53,56,57,58,60,63,64,65,66,67,71,72,74,75,76,78,80,82],[5,7,8,9,10,13,14,16,19,22,23,24,25,27,31,32,33,34,36,37,39,41,44,50,52,54,55,56,57,59,61,62,63,67,68,72,74,77,80,81,84],[0,2,3,4,5,9,15,16,18,19,24,27,29,30,31,33,35,36,37,38,40,44,47,48,49,50,51,53,54,59,60,62,64,66,68,74,75,78,79,80,81,83],[7,8,13,15,16,17,18,19,22,23,24,25,26,27,30,31,32,33,35,36,38,39,41,43,45,46,50,51,52,55,56,57,59,60,61,62,63,67,68,70,73,74,75,78,79,80,81,82,84],[65,81,83,84,85,86],[0,2,4,8,10,11,15,20,23,24,27,28,29,30,31,32,33,34,36,41,43,44,45,46,47,49,50,51,59,61,63,64,66,68,70,78,79,80,81,82,83,84,86],[4,5,8,10,12,14,15,16,17,19,25,26,28,29,32,33,36,39,40,42,44,46,47,50,54,55,59,63,65,68,70,72,74,77,79,80,82,85],[76],[72,79,81,82,83,84,85,86],[37,80,81,82,83,84,85,86],[2,5,9,10,11,13,14,15,17,18,20,21,22,23,25,30,33,34,35,37,38,39,40,46,49,50,52,53,54,56,58,59,63,65,67,71,72,73,75,78,83,84,85,86],[0,3,8,9,10,12,13,14,16,17,18,20,21,24,26,27,28,30,33,35,37,38,39,40,41,42,43,44,45,46,47,48,51,55,56,58,60,62,63,64,65,66,67,68,70,71,72,75,76,77,78,85],[0,1,3,4,5,9,10,11,13,14,17,20,21,24,26,27,29,33,34,35,39,40,42,46,47,48,50,51,53,55,58,59,60,61,62,65,66,69,70,73,76,78,79,80,82,84],[0,2,4,7,10,11,13,16,17,18,19,20,21,22,23,25,26,28,29,34,35,38,39,44,47,52,55,56,57,60,62,64,66,67,73,74,75,77,86],[20,79,80,82],[0,2,4,5,7,9,11,13,14,15,16,19,20,22,23,25,26,28,29,30,37,39,43,45,46,47,49,51,54,55,56,57,62,64,66,67,70,72,74,78,79,82,86],[3,4,7,8,13,15,16,17,18,21,24,27,29,32,38,39,41,42,45,50,51,54,55,57,59,61,63,67,68,70,74,75,76,80,82,84],[0,1,5,7,8,9,10,11,12,14,16,17,19,21,22,23,25,30,31,32,35,37,41,42,47,49,50,51,55,57,58,61,62,63,65,66,69,71,76,77,79,83,85,86],[71,79,80,81,82,83],[63,84],[2,3,4,5,7,8,9,10,11,16,24,26,27,29,30,31,32,34,37,41,43,44,45,46,48,49,50,51,55,56,57,58,60,61,65,71,73,78,82,83],[0,5,9,11,13,15,16,18,22,23,24,25,27,31,35,37,38,39,40,44,45,46,47,50,52,53,58,59,63,64,65,66,67,71,72,73,75,77,80,81,84,85,86],[4,5,7,9,10,11,13,15,17,19,21,22,23,24,25,26,27,28,29,31,33,34,35,37,39,44,46,51,52,55,56,57,62,67,70,72,74,77,80,81,82,83,86],[0,2,3,8,9,10,11,14,15,19,24,27,28,31,32,33,34,40,41,43,45,47,48,49,51,53,54,61,62,63,64,66,72,73,74,77,84,85],[4,7,11,13,14,18,19,22,23,24,25,26,27,28,29,30,31,32,33,35,38,39,43,45,52,54,55,56,57,60,62,67,73,74,75,78,79,80,82,83,84,86],[0,2,5,9,15,16,18,20,24,27,31,33,35,37,38,46,47,49,51,60,64,66,67,70,72,73,75,77,80,81,82],[3,4,7,8,13,14,15,16,17,18,20,21,22,23,24,25,26,27,29,31,32,33,35,38,39,40,41,43,44,45,48,51,52,54,55,56,57,60,61,63,67,72,75,77,82,84,85,86],[4,8,11,12,14,15,16,17,21,28,29,32,36,41,46,50,51,54,59,61,63,68,70,78,79,80,82,83,84,85],[64,79,81,85],[1,3,5,8,9,11,16,19,22,23,25,26,28,31,32,33,34,35,36,37,41,42,44,45,46,48,49,50,52,54,55,59,61,62,67,68,69,71,72,75,76,81,85,86],[19,80,82,85],[1,2,3,4,5,7,8,9,10,11,14,16,19,22,23,24,25,27,29,30,32,33,34,36,37,38,40,41,42,43,45,46,48,49,51,56,57,58,59,60,61,65,68,70,71,72,73,74,76,77,78,80,83,84,86],[55,79,83,85],[0,1,2,7,8,9,12,13,14,15,19,22,23,25,26,34,36,38,39,41,44,46,47,48,50,51,54,56,57,59,60,62,63,66,67,68,70,71,73,74,75,77,78,79,80,82,86],[0,3,5,7,9,15,16,20,26,28,33,36,37,47,48,55,56,57,58,60,61,63,64,65,66,68,70,71,73,78,81],[0,2,5,7,8,9,13,17,19,20,21,22,23,25,26,30,32,36,37,39,41,43,45,47,49,50,52,55,56,57,59,61,62,63,64,66,67,68,69,72,74,77,79,84,86],[0,4,5,8,9,10,13,14,17,18,21,22,23,24,25,27,28,29,31,32,35,36,37,38,39,40,41,43,44,45,47,51,52,53,54,58,61,64,65,66,67,68,70,71,72,73,75,78,82,83,84,86],[38,79,82,83,84,85],[7,8,9,10,13,14,16,19,22,23,24,25,26,27,31,32,33,34,36,37,39,41,44,50,52,54,55,56,57,59,61,62,63,67,68,72,74,78,80,81,83,84,86],[2,3,4,5,7,8,9,10,11,14,15,16,17,21,24,26,27,29,31,36,41,43,49,50,53,54,55,56,57,58,60,61,63,65,67,70,71,72,75,77,80,82],[1,3,4,5,6,13,15,16,18,20,21,23,24,25,26,27,31,33,35,38,39,40,43,44,45,46,47,48,50,52,53,54,55,57,59,61,63,65,66,67,72,75,76,78,79,80,81,84],[0,1,4,5,6,7,9,10,13,14,15,16,17,18,22,23,25,27,28,35,36,37,40,43,44,45,47,50,51,52,53,56,58,59,64,66,67,68,71,72,73,75,76,78,79,84,85],[3,79,81,86],[2,3,5,7,8,9,10,11,14,15,19,24,26,27,28,29,31,32,34,43,45,46,48,53,54,55,56,57,59,60,61,62,63,64,65,71,73,74,75,77,79,80,86],[1,5,7,8,9,11,13,16,17,18,24,27,28,29,32,34,37,38,39,41,42,43,44,45,50,51,56,57,58,59,60,61,63,67,69,71,73,75,76,77,79,80,81,82,83,85],[0,4,7,10,16,17,18,19,21,24,26,28,29,33,34,35,38,40,43,45,47,50,51,53,55,56,57,58,59,62,63,64,65,66,70,71,73,74,75,78,82,83,84,85,86],[0,79,83,86],[4,81,83,86],[0,3,4,5,7,9,11,14,17,20,21,26,29,32,33,37,41,46,47,48,50,51,54,55,56,57,58,59,60,61,64,65,66,71,73,78,81,82,83,84,86],[0,2,4,7,10,11,13,16,17,18,19,20,21,22,23,25,26,28,34,35,38,39,44,47,49,52,55,56,57,60,62,64,66,67,73,74,75,78,83],[3,5,8,9,10,11,14,16,18,19,20,32,34,35,37,38,40,41,43,45,46,48,53,54,60,61,62,63,70,74,75,78,81,85,86],[2,5,6,9,13,14,15,17,19,20,21,24,29,30,34,35,37,38,39,40,43,45,46,50,51,53,57,59,60,62,65,69,71,72,75,77,78,82,83,84,85,86],[1,5,6,9,13,15,20,21,23,25,26,29,30,31,34,35,36,37,42,43,46,52,54,55,57,60,62,63,65,66,67,68,73,74,76,78,79,80,81,82],[0,2,5,9,15,16,18,20,24,27,31,33,35,37,38,46,47,49,51,54,60,64,66,70,72,73,75,78,80,81,82,83,86],[17,80,84,86],[0,2,10,14,16,17,20,21,24,27,30,31,33,34,43,44,45,47,49,54,57,64,66,77,79,80,83,84],[0,1,3,5,8,9,11,14,17,20,21,22,25,26,27,29,30,32,33,35,36,37,40,41,42,46,47,48,50,51,53,55,57,58,59,61,62,64,65,68,70,71,72,73,76,77,79,82,83,84,85,86],[0,1,2,3,6,7,8,9,11,12,15,17,19,25,26,27,29,32,33,36,38,40,43,44,45,46,48,49,52,53,54,57,62,64,65,67,68,73,74,75,76,81,84,85,86],[3,5,6,7,8,9,11,13,16,17,19,20,26,28,30,32,34,36,37,40,41,43,51,53,54,57,60,61,62,65,67,70,72,74,76,77,78,81,82,83,84,86],[2,4,5,7,9,10,15,17,19,20,21,24,26,27,28,29,31,34,37,40,43,45,49,50,53,55,56,57,58,59,60,62,63,65,71,72,74,78,79,80,82,85],[73,83,84,86],[2,3,4,5,7,8,9,10,11,16,24,26,27,29,30,31,32,34,37,41,43,44,45,46,48,49,50,51,55,56,57,58,59,60,61,65,71,73,75,77,82,83],[0,1,2,3,4,5,6,9,10,11,15,16,17,18,25,26,27,28,30,35,37,39,42,47,48,49,50,52,53,55,62,63,64,65,72,75,76,77,79,80,81,82,83,84,85,86],[0,1,3,4,7,11,12,13,15,16,17,19,20,21,22,25,27,28,32,34,36,39,41,44,48,58,60,61,62,63,64,67,70,71,72,73,74,83],[0,2,3,7,8,10,11,14,15,19,24,27,28,31,32,33,34,40,41,43,45,47,48,49,51,53,54,61,62,63,64,66,72,73,74,78,84,85],[34,79,80,81,82,83,84,86],[47,79,85,86],[2,4,5,8,9,10,13,16,18,20,22,23,25,28,29,30,31,32,33,34,35,36,37,38,39,40,41,49,51,52,53,58,61,65,67,68,70,71,72,73,75,78,79,80,82,86],[74,81,85,86],[0,1,2,11,15,16,18,19,21,22,23,24,25,26,27,32,36,38,41,42,45,46,47,48,52,55,58,60,61,66,69,70,71,72,73,75,76,78,79,82,84],[3,4,5,9,10,15,17,18,19,20,21,29,34,35,36,37,38,43,45,48,50,51,53,59,60,62,68,74,75,77,81,82,84,85,86],[58,79,80,82,85,86],[39,79,81,82,85,86],[0,2,5,7,8,9,13,17,19,20,21,23,25,26,30,32,36,37,39,41,43,45,47,49,50,52,55,56,57,59,61,62,63,64,66,67,68,72,74,78,79,83,84],[1,3,8,9,10,13,14,16,18,20,21,22,26,28,32,33,34,35,36,38,40,41,43,44,45,46,47,48,53,54,55,58,60,62,63,64,65,68,69,75,76,77,78,79,84,86],[4,8,11,14,15,16,17,21,28,29,32,36,41,42,46,50,51,54,59,61,63,68,70,77,82,84,86],[0,2,3,7,10,11,13,14,16,17,18,21,22,23,25,26,28,30,34,35,36,38,39,40,46,47,48,49,50,52,53,54,55,56,57,59,60,64,66,67,70,72,75,78,84,86],[4,5,8,9,10,11,16,18,28,29,30,32,34,35,36,37,38,43,44,45,50,59,60,61,63,68,72,73,75,78,79,80,81,83,84,85],[2,3,4,11,13,14,19,22,23,25,29,30,33,36,39,43,45,46,48,49,50,51,52,54,58,60,62,63,65,67,68,71,72,73,74,78,81,83,85,86],[0,5,7,8,9,17,19,21,26,30,32,33,36,37,40,41,44,47,51,53,55,56,57,58,60,61,62,64,65,66,68,70,71,72,74,78,79,80],[3,4,5,9,10,11,13,15,17,18,19,21,22,23,25,29,33,34,35,36,37,38,39,44,48,49,52,58,62,63,65,67,68,70,71,74,75,77,82,83,85,86],[0,7,8,10,11,14,15,18,19,26,32,34,35,36,38,40,41,43,45,46,47,53,54,55,56,57,58,61,62,64,65,66,68,71,73,74,75,77,83,85,86],[51,79,80,84,85,86],[2,3,7,13,18,24,26,27,28,31,35,36,38,46,48,49,51,55,56,57,58,63,65,68,71,72,75,77,79,80,81,82,84,85],[25,80,81,84,85,86],[2,5,7,8,9,10,12,13,14,15,16,17,18,20,21,23,24,26,27,30,31,33,36,37,38,39,42,43,44,45,46,47,48,49,56,57,58,59,60,62,63,65,67,68,70,71,73,75,76,77,78,79,83],[26,80,82,84,85,86],[21,79,80,81,82,84,85,86],[3,7,11,13,18,20,22,23,24,25,26,27,28,31,33,35,36,38,39,40,43,45,46,48,50,52,53,55,56,57,59,60,67,68,70,72,75,77,79,80,83,86],[0,2,4,5,8,9,11,14,17,18,20,21,24,27,28,29,31,32,33,35,36,37,38,41,45,47,49,50,54,59,60,61,63,64,66,68,72,73,75,77,81,85],[3,5,7,9,10,11,13,14,15,17,20,21,22,23,24,25,26,27,28,30,31,33,34,36,37,39,40,48,50,51,52,53,54,55,56,57,59,65,67,68,73,78,79,80,82,84,85],[23,79,80,81,83,84,85,86],[0,3,8,9,10,11,12,13,17,18,20,22,23,24,26,27,28,30,31,32,33,35,37,38,40,42,43,44,45,46,48,50,52,55,58,59,62,64,66,67,71,72,75,77,78,84,86],[2,7,8,11,15,16,17,18,19,20,21,24,26,27,30,31,32,35,36,38,40,41,44,46,49,53,55,56,57,58,61,62,65,68,71,73,74,75,76,78,81,82,83,84],[0,3,4,10,11,13,16,17,19,20,21,22,23,24,25,27,29,31,34,36,39,44,46,47,48,51,52,58,60,62,63,64,65,66,67,68,71,73,74,77,80,82,83],[2,5,7,8,9,10,11,14,16,19,20,24,26,27,31,32,34,36,40,41,43,45,49,51,53,54,55,56,57,58,60,61,62,65,68,70,71,72,74,77,80,81,82,85,86],[56,79],[4,7,9,11,12,13,14,15,16,17,21,24,27,28,29,32,34,37,39,40,42,46,50,51,57,59,60,61,62,63,67,68,76,77,79,81,84,85],[0,1,2,3,4,5,9,10,14,17,21,22,23,24,25,26,27,29,34,35,42,43,44,45,46,47,48,49,52,55,61,62,63,66,67,69,71,73,76,77,78,79,80,83,85,86],[3,5,8,9,10,11,14,16,18,19,28,32,34,35,37,38,40,41,43,45,46,48,53,54,60,61,62,63,70,74,75,77,79,80,81,82,83,85],[3,4,7,8,13,15,16,17,18,21,24,27,29,32,38,39,41,42,45,50,51,54,55,57,59,61,63,67,68,70,74,75,76,77,80,82,83,84],[1,2,3,4,10,11,12,13,16,19,26,29,30,31,35,39,40,42,43,44,45,46,48,50,51,52,53,54,56,58,62,64,65,67,69,70,71,73,76,79,81,83],[5,9,10,14,15,16,17,18,21,30,34,35,37,38,43,44,45,46,51,54,60,70,72,73,75,78,79,82,83],[2,3,5,8,9,10,13,14,16,18,19,22,23,25,28,32,33,34,35,37,38,39,41,44,46,48,49,50,51,52,54,58,59,61,62,65,67,74,75,77,79,80,84,86],[0,10,11,13,14,16,17,21,22,23,24,25,27,30,31,34,39,40,47,50,51,52,53,54,58,59,60,64,65,66,67,70,71,78,79,80,81,82,85,86],[59,79,80,84],[9,80,82,84],[32,81,82,84],[53,80,83,84],[0,2,10,14,16,17,20,21,24,27,30,31,33,34,43,44,45,47,49,54,60,64,66,78,79,80,81],[0,3,8,10,13,14,15,19,20,22,23,24,25,27,28,31,32,34,39,41,44,47,50,52,54,58,59,60,61,62,64,65,66,67,70,71,72,73,74,77,80,84,86],[0,1,2,3,5,7,9,11,13,15,16,22,23,25,26,28,36,37,39,40,43,44,45,47,48,49,50,51,52,53,55,56,57,59,64,66,67,68,73,78,81,82,84,85,86],[12,79,80,85],[0,2,3,7,10,11,13,14,16,17,18,21,22,23,25,26,28,30,34,35,36,38,39,40,46,47,48,49,50,52,53,54,55,56,57,59,60,66,67,68,70,72,75,77,84,86],[1,2,4,5,8,9,13,14,16,26,28,29,30,31,32,34,35,37,39,41,42,43,44,50,51,55,58,59,60,61,63,65,69,73,74,75,76,77,79,82,83,85],[0,5,7,8,9,11,17,21,26,30,32,33,36,37,40,41,44,47,51,53,55,56,57,58,60,61,62,64,65,66,68,70,71,72,74,77,79,80],[1,7,8,13,14,15,16,17,18,21,24,27,30,32,35,39,40,41,42,43,44,45,46,51,52,56,57,59,60,61,62,63,67,72,73,75,76,77,80,81,84],[0,3,7,10,14,16,17,18,20,21,26,28,30,33,34,35,36,38,43,44,45,46,47,48,51,54,56,57,58,63,64,65,66,68,71,72,75,77,81,82,83,85],[0,1,4,5,7,10,12,14,15,16,18,19,20,26,28,29,30,32,33,35,37,40,44,46,47,48,49,50,52,53,54,56,57,58,59,60,61,62,63,65,66,72,74,78,80,83,85],[0,2,4,8,10,11,15,18,20,24,27,28,29,30,31,32,33,34,36,41,43,44,45,46,47,49,50,51,59,61,63,64,66,68,70,77,79,80,81,82,84],[2,5,7,8,9,10,11,14,16,19,20,24,26,27,31,32,34,37,40,41,43,45,49,51,53,54,55,56,57,58,60,61,62,65,68,70,71,72,74,78,80,81,82,83,85],[10,80,81,83,84,85],[0,2,3,4,10,16,17,19,21,24,27,29,31,33,34,36,38,40,43,45,46,47,48,49,50,53,59,62,64,66,68,70,72,73,74,78,79,80,82,83],[0,7,8,10,11,17,18,19,21,26,30,33,35,37,38,40,41,43,44,47,48,51,55,56,57,58,59,61,62,63,64,65,66,67,68,70,71,72,74,79,84,85],[1,3,4,5,6,13,15,16,18,20,21,23,24,25,26,27,31,33,35,38,39,40,43,44,45,46,47,48,50,52,53,54,55,57,59,61,63,65,66,67,72,75,76,79,80,81,84,86],[1,2,3,6,8,10,15,16,18,21,26,27,28,29,32,35,36,39,41,46,48,49,50,51,54,55,57,58,59,61,63,68,70,71,72,75,76,79,81,83,84],[3,5,9,10,14,15,17,18,21,30,34,35,37,38,43,44,45,46,51,54,60,70,72,73,75,77,81,82],[0,4,5,9,11,13,14,18,19,22,23,24,25,27,28,30,31,35,38,39,40,41,43,45,46,47,49,51,52,54,59,62,65,66,67,71,72,73,74,80,81,82,83,85,86],[0,4,5,7,9,14,15,16,19,26,28,29,30,33,37,40,44,46,47,50,53,54,55,56,57,58,59,60,63,64,65,66,71,72,74,77,79,83,84,85,86],[1,2,3,5,7,9,11,15,18,19,21,22,23,24,25,27,29,30,33,34,37,38,42,44,48,49,51,52,56,57,62,63,65,69,70,72,74,75,76,80,82,83,84,85],[2,3,5,8,9,10,13,14,16,18,19,22,23,25,28,32,33,34,35,37,38,39,41,44,46,48,49,50,51,52,54,58,59,61,62,65,66,67,71,74,75,78,81,82,84],[0,2,5,9,10,11,13,14,15,17,18,20,21,22,23,25,30,33,34,35,37,38,39,40,46,49,50,52,53,54,58,59,63,65,67,71,72,73,75,77,83,84,85,86],[0,3,4,7,8,10,11,15,18,20,26,27,29,30,32,33,34,35,38,41,43,44,45,47,48,50,55,56,57,58,59,61,64,65,66,70,71,72,75,77,79,81,83,84,86],[2,4,11,13,20,22,23,25,33,39,40,43,44,45,49,50,51,52,53,58,59,60,63,65,67,70,71,78,81,82,83,84,85,86],[0,4,6,7,11,16,17,21,22,23,24,25,26,28,34,35,38,40,47,49,50,52,53,54,55,56,59,60,64,65,66,67,69,70,71,74,75,78,79,84,85,86],[1,3,5,6,8,9,11,13,16,17,19,23,25,26,28,29,31,32,34,35,36,37,40,41,42,43,44,46,48,51,52,53,54,55,57,60,61,65,66,67,68,72,76,77,78,80,85,86],[3,4,7,8,13,14,15,16,18,20,21,22,23,24,25,26,27,29,31,32,33,35,38,39,40,41,43,44,45,48,51,52,53,54,55,56,57,60,61,63,67,72,75,78,82,84,85,86],[57,81,84,86],[0,1,4,7,10,11,13,14,16,17,21,23,24,31,34,35,36,39,42,47,50,51,52,56,58,59,62,63,64,65,67,68,71,72,76,80,82,83,84,86],[0,1,3,4,6,8,9,11,12,14,15,17,18,20,24,25,28,30,31,32,33,35,36,43,45,46,48,50,51,52,55,56,58,59,63,64,67,68,70,71,76,77,79,80,82],[0,6,7,11,16,18,21,22,23,24,25,26,27,31,34,35,36,38,39,40,45,46,47,48,50,52,53,54,57,58,59,60,64,66,70,71,72,75,76,78,79,80,81,86],[46,79,81,82,84,86],[0,3,8,10,13,14,19,20,22,23,24,25,27,28,31,32,34,39,41,44,47,48,50,52,54,58,59,60,61,62,64,65,66,67,70,71,72,73,74,78,80,83,84],[0,10,11,13,14,16,17,21,22,23,24,25,27,30,31,34,39,40,47,50,51,52,53,54,58,59,60,63,64,65,66,67,70,71,73,77,79,80,81,82,85,86],[75,79,80,83,84,86],[0,5,6,9,11,13,15,16,18,22,23,24,25,27,31,35,37,38,39,40,43,44,45,46,47,50,52,53,58,59,63,64,65,66,67,71,72,73,75,78,80,81,83,84,85],[0,1,5,6,7,8,9,10,14,21,24,25,28,29,30,31,32,37,38,39,41,42,47,52,53,54,56,57,58,59,61,62,63,64,70,71,76,77,78,79,81,82,83,85],[0,1,3,5,9,10,12,16,20,23,24,26,29,31,32,33,36,37,41,46,48,51,52,55,56,57,58,60,61,63,64,71,73,78,80,81,82,83],[7,80,82,83,84,86],[4,7,11,13,14,18,19,22,23,24,25,26,27,28,29,31,33,35,38,39,43,45,52,54,55,56,57,60,62,67,73,74,75,77,79,80,81],[0,2,3,5,8,9,11,17,18,19,21,24,27,28,30,31,32,33,34,35,37,38,40,41,44,46,47,48,49,53,60,61,62,63,64,66,70,74,75,77,81,82,84,85],[0,3,7,10,14,16,17,18,20,21,26,28,30,33,34,35,36,38,43,44,45,46,48,51,54,55,56,57,58,63,64,65,66,68,71,72,75,78,81,82,83,85],[31,80,85,86],[0,3,5,7,9,15,16,20,26,28,33,36,37,47,48,55,56,57,58,60,63,64,65,66,68,70,71,73,74,77,83,85],[0,1,4,8,11,13,14,17,18,19,20,24,26,27,28,29,33,38,39,40,42,43,44,47,48,49,53,54,55,65,66,67,68,69,70,72,73,75,76,77,78,79,82,84,85],[0,2,7,8,10,13,14,15,18,19,20,22,23,25,26,32,34,35,36,38,39,41,44,46,47,49,50,51,52,54,55,56,57,58,59,60,61,62,63,64,66,67,68,70,73,74,75,77,79,80,83,84,85,86],[3,4,14,19,20,29,30,36,39,40,44,46,48,50,53,54,59,62,68,70,72,73,74,78,82,84],[0,1,2,5,7,8,10,11,14,15,18,20,21,23,25,32,33,34,35,37,38,39,41,46,49,50,51,52,54,56,57,58,59,60,62,63,65,66,67,69,73,75,76,78,79,81,82,83,85,86],[68,79,81,83,85,86],[41,80,81,83,85,86],[50,79,82,83,85,86],[11,80,82,83,85,86],[2,81,82,83,85,86],[2,3,5,7,9,10,14,15,17,21,24,26,27,28,30,31,34,36,37,43,44,45,48,49,54,55,56,57,58,60,63,65,68,71,73,78,79,80,86],[0,4,8,10,13,15,22,23,24,25,27,28,29,30,31,32,34,36,39,40,41,46,47,51,52,53,58,60,61,64,65,66,67,68,71,78,81,83,84,86],[13,79,81,84,85,86],[0,4,5,8,9,13,14,17,18,21,22,23,24,27,28,29,31,32,35,36,37,38,39,40,41,43,44,45,47,51,52,53,54,58,61,64,65,66,67,68,70,71,72,73,75,77,82,83,84,86],[0,3,4,5,7,8,9,12,13,14,15,18,19,20,23,26,29,30,34,37,38,39,40,42,44,50,53,56,57,58,60,63,64,65,66,67,71,72,74,75,76,78,79,80,84,85,86],[5,7,8,9,10,13,14,16,19,22,23,24,25,27,31,32,33,34,36,37,39,41,44,50,52,54,55,56,57,59,61,62,63,67,68,72,74,77,81,82,85,86],[0,2,3,4,5,9,15,16,18,19,24,27,29,30,31,33,35,36,37,38,40,44,47,48,49,50,51,53,54,59,60,62,64,66,68,74,75,78,79,80,82,83,84,85,86],[7,8,13,15,16,17,18,19,22,23,24,25,26,27,30,31,32,33,35,36,38,39,41,43,45,46,50,51,52,55,56,57,59,60,61,62,63,67,68,70,73,74,75,78,85,86],[44,79,83,84,85,86],[45,80,83,84,85,86],[0,2,4,8,10,11,15,20,23,24,27,28,29,30,31,32,33,34,36,41,43,44,45,46,47,49,50,51,59,61,63,64,66,68,70,78,82,85],[4,5,8,10,12,14,15,16,17,19,25,26,28,29,32,33,36,39,40,42,44,46,47,50,54,55,59,63,65,68,70,72,74,77,79,80,83,84,86],[76,79,80,82,83,84,85,86],[2,5,9,10,11,13,14,15,17,18,20,21,22,23,25,30,33,34,35,37,38,39,40,46,49,50,52,53,54,56,58,59,63,65,67,71,72,73,75,78,79,83,84,85,86],[0,3,8,9,10,12,13,14,16,17,18,20,21,24,26,27,28,30,33,35,37,38,39,40,41,42,43,44,45,46,47,48,51,55,56,58,60,62,63,64,65,66,67,68,70,71,72,75,76,77,78,80,85],[0,1,3,4,5,9,10,11,13,14,17,20,21,24,26,27,29,33,34,35,39,40,42,46,47,48,50,51,53,55,58,59,60,61,62,65,66,69,70,73,76,78,79,80,81,82,84],[0,2,4,7,10,11,13,16,17,18,19,20,21,22,23,25,26,28,29,34,35,38,39,44,47,52,55,56,57,60,62,64,66,67,73,74,75,77,82,86],[0,2,4,5,7,9,11,13,14,15,16,19,20,22,23,25,26,28,29,30,37,39,43,45,46,47,49,51,54,55,56,57,62,64,66,67,70,72,74,78,81,86],[3,4,7,8,13,15,16,17,18,21,24,27,29,32,38,39,41,42,45,50,51,54,55,57,59,61,63,67,68,70,74,75,76,80,82,83,84],[0,1,5,7,8,9,10,11,12,14,16,17,19,21,22,23,25,30,31,32,35,37,41,42,47,49,50,51,55,57,58,61,62,63,65,66,69,71,76,77,80,85,86],[16,79,81,83],[2,3,4,5,7,8,9,10,11,16,24,26,27,29,30,31,32,34,37,41,43,44,45,46,48,49,50,51,55,56,57,58,60,61,65,71,73,78,79,80,82,83,84],[0,5,9,11,13,15,16,18,22,23,24,25,27,31,35,37,38,39,40,44,45,46,47,50,52,53,58,59,63,64,65,66,67,71,72,73,75,77,79,80,85,86],[4,5,7,9,10,11,13,15,17,19,21,22,23,24,25,26,27,28,29,31,33,34,35,37,39,44,46,51,52,55,56,57,62,67,70,72,74,77,79,80,81,83,84,86],[0,2,3,8,9,10,11,14,15,19,24,27,28,31,32,33,34,40,41,43,45,47,48,49,51,53,54,61,62,63,64,66,72,73,74,77,80,82,85],[4,7,11,13,14,18,19,22,23,24,25,26,27,28,29,30,31,32,33,35,38,39,43,45,52,54,55,56,57,60,62,67,73,74,75,78,79,80,81,83,86],[0,2,5,9,15,16,18,20,24,27,31,33,35,37,38,46,47,49,51,60,64,66,67,70,72,73,75,77,79,80,81,82,83,84],[3,4,7,8,13,14,15,16,17,18,20,21,22,23,24,25,26,27,29,31,32,33,35,38,39,40,41,43,44,45,48,51,52,54,55,56,57,60,61,63,67,72,75,77,80,82,83,85,86],[60,81,83,84],[48,80,81,82,83,84],[1,85],[4,8,11,12,14,15,16,17,21,28,29,32,36,41,46,50,51,54,59,61,63,68,70,78,82,83,84],[1,3,5,8,9,11,16,19,22,23,25,26,28,31,32,33,34,35,36,37,41,42,44,45,46,48,49,50,52,54,55,59,61,62,67,68,69,71,72,75,76,79,81,82,86],[1,2,3,4,5,7,8,9,10,11,14,16,19,22,23,24,25,27,29,30,32,33,34,36,37,38,40,41,42,43,45,46,48,49,51,56,57,58,59,60,61,65,68,70,71,72,73,74,76,77,78,80,81,82,83,84,85,86],[0,1,2,7,8,9,12,13,14,15,19,22,23,25,26,34,36,38,39,41,44,46,47,48,50,51,54,56,57,59,60,62,63,66,67,68,70,71,73,74,75,77,78,79,82,83,85,86],[0,3,5,7,9,15,16,20,26,28,33,36,37,47,48,55,56,57,58,60,61,63,64,65,66,68,70,71,73,78,83,85],[0,2,5,7,8,9,13,17,19,20,21,22,23,25,26,30,32,36,37,39,41,43,45,47,49,50,52,55,56,57,59,61,62,63,64,66,67,68,69,72,74,77,79,80,81,82,83,84,85,86],[18,79,80,81,84,85],[36,80,81,82,84,85],[0,4,5,8,9,10,13,14,17,18,21,22,23,24,25,27,28,29,31,32,35,36,37,38,39,40,41,43,44,45,47,51,52,53,54,58,61,64,65,66,67,68,70,71,72,73,75,78,80,81,82,85,86],[7,8,9,10,13,14,16,19,22,23,24,25,26,27,31,32,33,34,36,37,39,41,44,50,52,54,55,56,57,59,61,62,63,67,68,72,74,78,81,82,85,86],[2,3,4,5,7,8,9,10,11,14,15,16,17,21,24,26,27,29,31,36,41,43,49,50,53,54,55,56,57,58,60,61,63,65,67,70,71,72,75,77,80,81,83,84,85],[1,3,4,5,6,13,15,16,18,20,21,23,24,25,26,27,31,33,35,38,39,40,43,44,45,46,47,48,50,52,53,54,55,57,59,61,63,65,66,67,72,75,76,78,79,80,81,84,86],[0,1,4,5,6,7,9,10,13,14,15,16,17,18,22,23,25,27,28,35,36,37,40,43,44,45,47,50,51,52,53,56,58,59,64,66,67,68,71,72,73,75,76,78,80,84,85,86],[2,3,5,7,8,9,10,11,14,15,19,24,26,27,28,29,31,32,34,43,45,46,48,53,54,55,56,57,59,60,61,62,63,64,65,71,73,74,75,77,79,81],[62,79,82,86],[1,5,7,8,9,11,13,16,17,18,24,27,28,29,32,34,37,38,39,41,42,43,44,45,50,51,56,57,58,59,60,61,63,67,69,71,73,75,76,77,79,81,83,85,86],[0,4,7,10,16,17,18,19,21,24,26,28,29,33,34,35,38,40,43,45,47,50,51,53,55,56,57,58,59,62,63,64,65,66,70,71,73,74,75,78,81,83,84,85],[66,79,80,81,82,86],[27,80,83,86],[0,3,4,5,7,9,11,14,17,20,21,26,29,32,33,37,41,46,47,48,50,51,54,55,56,57,58,59,60,61,64,65,66,71,73,78,79,80,82,84],[0,2,4,7,10,11,13,16,17,18,19,20,21,22,23,25,26,28,34,35,38,39,44,47,49,52,55,56,57,60,62,64,66,67,73,74,75,78,82,86],[3,5,8,9,10,11,14,16,18,19,20,32,34,35,37,38,40,41,43,45,46,48,53,54,60,61,62,63,70,74,75,78,79,80,81,82,83,85],[2,5,6,9,13,14,15,17,19,20,21,24,29,30,34,35,37,38,39,40,43,45,46,50,51,53,57,59,60,62,65,69,71,72,75,77,78,79,81,84,85],[1,5,6,9,13,15,20,21,23,25,26,29,30,31,34,35,36,37,42,43,46,52,54,55,57,60,62,63,65,66,67,68,73,74,76,78,79,83,86],[0,2,5,9,15,16,18,20,24,27,31,33,35,37,38,46,47,49,51,54,60,64,66,70,72,73,75,78,79,80,81,82,83,84],[0,2,10,14,16,17,20,21,24,27,30,31,33,34,43,44,45,47,49,54,57,64,66,77,79,80,81,83,86],[0,1,3,5,8,9,11,14,17,20,21,22,25,26,27,29,30,32,33,35,36,37,40,41,42,46,47,48,50,51,53,55,57,58,59,61,62,64,65,68,70,71,72,73,76,77,80,81,82,83,85],[0,1,2,3,6,7,8,9,11,12,15,17,19,25,26,27,29,32,33,36,38,40,43,44,45,46,48,49,52,53,54,57,62,64,65,67,68,73,74,75,76,81,82,85],[3,5,6,7,8,9,11,13,16,17,19,20,26,28,30,32,34,36,37,40,41,43,51,53,54,57,60,61,62,65,67,70,72,74,76,77,78,79,80,81,83],[2,4,5,7,9,10,15,17,19,20,21,24,26,27,28,29,31,34,37,40,43,45,49,50,53,55,56,57,58,59,60,62,63,65,71,72,74,78,80,81,84,85,86],[15,80,81,82,84,86],[2,3,4,5,7,8,9,10,11,16,24,26,27,29,30,31,32,34,37,41,43,44,45,46,48,49,50,51,55,56,57,58,59,60,61,65,71,73,75,77,79,80,82,84,86],[6,79,81,83,84,86],[0,1,2,3,4,5,6,9,10,11,15,16,17,18,25,26,27,28,30,35,37,39,42,47,48,49,50,52,53,55,62,63,64,65,72,75,76,77,79,82,85],[0,1,3,4,7,11,12,13,15,16,17,19,20,21,22,25,27,28,32,34,36,39,41,44,48,58,60,61,62,63,64,67,70,71,72,73,74,79,82,84,86],[0,2,3,7,8,10,11,14,15,19,24,27,28,31,32,33,34,40,41,43,45,47,48,49,51,53,54,61,62,63,64,66,72,73,74,78,80,82,83,85,86],[30,81,82,83,84,86],[2,4,5,8,9,10,13,16,18,20,22,23,25,28,29,30,31,32,33,34,35,36,37,38,39,40,41,49,51,52,53,58,61,65,67,68,70,71,72,73,75,78,79,82,85],[0,1,2,11,15,16,18,19,21,22,23,24,25,26,27,32,36,38,41,42,45,46,47,48,52,55,58,60,61,66,69,70,71,72,73,75,76,78,80,81,82,84,85,86],[3,4,5,9,10,15,17,18,19,20,21,29,34,35,36,37,38,43,45,48,50,51,53,59,60,62,68,74,75,77,81,84],[0,2,5,7,8,9,13,17,19,20,21,23,25,26,30,32,36,37,39,41,43,45,47,49,50,52,55,56,57,59,61,62,63,64,66,67,68,72,74,78,79,80,81,82,83,84,85,86],[1,3,8,9,10,13,14,16,18,20,21,22,26,28,32,33,34,35,36,38,40,41,43,44,45,46,47,48,53,54,55,58,60,62,63,64,65,68,69,75,76,77,78,79,83,84,85],[4,8,11,14,15,16,17,21,28,29,32,36,41,42,46,50,51,54,59,61,63,68,70,77,79,80,82,83,84,85],[0,2,3,7,10,11,13,14,16,17,18,21,22,23,25,26,28,30,34,35,36,38,39,40,46,47,48,49,50,52,53,54,55,56,57,59,60,64,66,67,70,72,75,78,79,81,83,84,85],[4,5,8,9,10,11,16,18,28,29,30,32,34,35,36,37,38,43,44,45,50,59,60,61,63,68,72,73,75,78,79,84,86],[2,3,4,11,13,14,19,22,23,25,29,30,33,36,39,43,45,46,48,49,50,51,52,54,58,60,62,63,65,67,68,71,72,73,74,78,79,81,82],[0,5,7,8,9,17,19,21,26,30,32,33,36,37,40,41,44,47,51,53,55,56,57,58,60,61,62,64,65,66,68,70,71,72,74,78,79,82,83,85,86],[3,4,5,9,10,11,13,15,17,18,19,21,22,23,25,29,33,34,35,36,37,38,39,44,48,49,52,58,62,63,65,67,68,70,71,74,75,77,81],[0,7,8,10,11,14,15,18,19,26,32,34,35,36,38,40,41,43,45,46,47,53,54,55,56,57,58,61,62,64,65,66,68,71,73,74,75,77,79,80,81,82],[70,84,85,86],[2,3,7,13,18,24,26,27,28,31,35,36,38,46,48,49,51,55,56,57,58,63,65,68,71,72,75,77,80,82,86],[2,5,7,8,9,10,12,13,14,15,16,17,18,20,21,23,24,26,27,30,31,33,36,37,38,39,42,43,44,45,46,47,48,49,56,57,58,59,60,62,63,65,67,68,70,71,73,75,76,77,78,82,83,84,85,86],[14,81,82,84,85,86],[3,7,11,13,18,20,22,23,24,25,26,27,28,31,33,35,36,38,39,40,43,45,46,48,50,52,53,55,56,57,59,60,67,68,70,72,75,77,80,84,85],[0,2,4,5,8,9,11,14,17,18,20,21,24,27,28,29,31,32,33,35,36,37,38,41,45,47,49,50,54,59,60,61,63,64,66,68,72,73,75,77,80,81,83,84,86],[3,5,7,9,10,11,13,14,15,17,20,21,22,23,24,25,26,27,28,30,31,33,34,36,37,39,40,48,50,51,52,53,54,55,56,57,59,65,67,68,73,78,79,80,81,82,83,86],[0,3,8,9,10,11,12,13,17,18,20,22,23,24,26,27,28,30,31,32,33,35,37,38,40,42,43,44,45,46,48,50,52,55,58,59,62,64,66,67,71,72,75,77,78,82,83,85],[2,7,8,11,15,16,17,18,19,20,21,24,26,27,30,31,32,35,36,38,40,41,44,46,49,53,55,56,57,58,61,62,65,68,71,73,74,75,76,78,79,80,81,85,86],[0,3,4,10,11,13,16,17,19,20,21,22,23,24,25,27,29,31,34,36,39,44,46,47,48,51,52,58,60,62,63,64,65,66,67,68,71,73,74,77,79,80,81,84,85,86],[2,5,7,8,9,10,11,14,16,19,20,24,26,27,31,32,34,36,40,41,43,45,49,51,53,54,55,56,57,58,60,61,62,65,68,70,71,72,74,77,83,84]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,4,19],"A_d":3022,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,1],[40,1],[41,1],[42,1],[43,1],[44,1],[45,1],[46,1],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[62,1],[63,1],[64,1],[65,1],[66,1],[67,1],[68,1],[69,1],[70,1],[71,1],[72,1],[73,1],[74,1],[75,1],[81,2],[83,2]],"CZ":[[0,81],[0,83],[0,84],[0,85],[2,79],[2,81],[2,82],[2,85],[3,81],[3,84],[4,81],[4,83],[5,79],[5,80],[5,81],[5,82],[5,83],[5,85],[7,79],[7,81],[7,83],[7,84],[8,79],[8,81],[9,79],[9,80],[9,81],[9,82],[9,83],[9,85],[10,79],[10,80],[10,82],[10,84],[11,79],[11,82],[13,81],[13,82],[14,79],[14,80],[14,81],[14,82],[14,83],[14,84],[15,80],[15,82],[15,83],[15,85],[16,79],[16,83],[16,84],[16,85],[17,80],[17,81],[17,82],[17,84],[18,80],[18,82],[18,84],[18,85],[19,79],[19,83],[20,79],[20,82],[20,84],[20,85],[21,80],[21,81],[21,82],[21,84],[22,81],[22,82],[23,81],[23,82],[24,79],[24,85],[25,81],[25,82],[26,79],[26,81],[26,83],[26,84],[27,79],[27,85],[28,83],[28,84],[29,81],[29,83],[30,80],[30,82],[30,83],[30,84],[31,79],[31,85],[32,79],[32,81],[33,82],[33,83],[33,84],[33,85],[34,79],[34,80],[34,82],[34,84],[35,80],[35,82],[35,84],[35,85],[36,79],[36,84],[37,79],[37,80],[37,81],[37,82],[37,83],[37,85],[38,80],[38,82],[38,84],[38,85],[39,81],[39,82],[40,79],[40,81],[40,82],[40,83],[41,79],[41,81],[43,79],[43,80],[43,81],[43,84],[44,80],[44,81],[44,83],[44,84],[45,79],[45,80],[45,81],[45,84],[46,80],[46,81],[46,82],[46,83],[46,84],[46,85],[47,81],[47,83],[47,84],[47,85],[48,81],[48,84],[49,79],[49,81],[49,82],[49,85],[50,82],[50,83],[51,79],[51,80],[51,84],[51,85],[52,81],[52,82],[53,79],[53,81],[53,82],[53,83],[54,79],[54,80],[54,81],[54,82],[54,83],[54,84],[55,79],[55,81],[55,83],[55,84],[56,79],[56,81],[56,83],[56,84],[57,79],[57,81],[57,83],[57,84],[58,79],[58,82],[58,83],[58,84],[59,82],[59,83],[60,79],[60,80],[60,83],[60,85],[61,79],[61,81],[62,79],[62,83],[63,81],[63,82],[63,83],[63,84],[64,81],[64,83],[64,84],[64,85],[65,79],[65,82],[65,83],[65,84],[66,81],[66,83],[66,84],[66,85],[67,81],[67,82],[68,79],[68,84],[70,79],[70,80],[70,81],[70,85],[71,79],[71,82],[71,83],[71,84],[72,79],[72,80],[72,82],[72,83],[72,84],[72,85],[73,80],[73,81],[73,82],[73,85],[74,79],[74,83],[75,80],[75,82],[75,84],[75,85],[77,79],[77,80],[77,82],[77,83],[78,79],[78,80],[78,82],[78,83],[79,81],[79,83],[79,84],[79,85],[80,82],[80,85],[81,83],[81,84],[81,86],[82,86]]},"rotation_powers":[[0,7],[1,3],[2,5],[4,5],[7,5],[8,7],[10,5],[11,7],[13,5],[14,7],[16,5],[17,5],[18,7],[19,3],[20,3],[21,5],[22,7],[23,3],[24,3],[25,3],[26,3],[30,7],[31,3],[32,3],[33,3],[34,3],[36,5],[38,3],[42,3],[43,3],[44,3],[46,5],[49,5],[50,5],[51,3],[52,5],[54,5],[57,5],[58,5],[59,7],[60,5],[61,3],[62,3],[63,7],[65,5],[66,3],[67,5],[68,3],[69,7],[70,3],[72,5],[78,3],[80,7],[81,5],[82,3],[84,3],[86,3],[88,3],[89,5],[92,3],[94,3],[95,3],[96,3],[97,3],[98,3],[99,3],[100,3],[102,3],[103,3],[104,3],[107,3],[108,3],[110,5],[112,3],[116,3],[117,3],[119,3],[120,3],[122,3],[124,3],[125,3],[126,3],[128,3],[129,3],[131,3],[133,3],[134,3],[136,3],[137,3],[138,3],[139,3],[140,3],[141,3],[143,3],[145,3],[146,3],[148,3],[150,3],[152,3],[154,3],[158,3],[161,3],[163,3],[164,3],[165,3],[166,3],[167,5],[168,7],[171,3],[173,3],[174,3],[175,3],[177,3],[178,3],[179,3],[181,5],[184,3],[185,3],[187,3],[188,3],[189,3],[191,3],[192,3],[194,5],[196,3],[199,3],[205,3],[210,3],[211,3],[212,3],[214,3],[215,3],[220,3],[225,3],[228,3],[231,3],[233,3],[234,3],[236,3],[237,3],[238,3],[240,3],[242,3],[245,3],[246,3],[247,3],[248,3],[249,3],[250,3],[251,3],[252,3],[253,3],[255,3],[256,3],[257,3],[258,3],[260,3],[263,3],[266,3],[268,3],[270,3],[276,3],[277,3],[280,3],[281,3],[283,3],[285,3],[286,3],[287,3],[288,3],[290,3],[293,3],[295,3],[298,3],[300,3],[304,3],[307,3],[308,3],[314,3],[316,3],[319,3],[322,3]]},"metrics":{"gamma":1.3198561407536247,"gamma_t":null,"gamma_rho":1.3198561407536247,"gamma_claim":1.3198561407536247,"gamma_t_claim":null,"gamma_rho_claim":1.3198561407536247,"v_ex":76,"rate":0.2345679012345679,"t_count":null,"poly_degree":null,"effective_width":76},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): from Wills parent codes","file":"gamma_frontier_release/protocols/restricted_light_324_76_3.json","label":"restricted_light_324_76_3","N":87,"d":3,"d_is_exact":true,"origin":"Wills-derived restricted-light construction","provenance":"gamma frontier release record restricted_light_324_76_3 (source catalogue id restricted_light_324_76_3); construction: Wills-derived restricted-light construction; matrix 10a93620b1e2f697...; the release states d=3 (exact), gamma=1.3198561407536247 (exact)","notes":"matrix gamma_frontier_release/matrices/10a93620b1e2f697ccff693579bed7d65c1eb4538ed1b7afc6f661b965e10101.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"}]}